doc: add license information for gen. files

3 files changed, 23 insertions, 1 deletions

diff --git a/src/doc/footer.inc b/src/doc/footer.inc
new file mode 100644
index 00000000000..a103a4908f6
--- /dev/null
+++ b/src/doc/footer.inc
@@ -0,0 +1,7 @@
+<footer><p>
+Copyright &copy; 2011-2014 The Rust Project Developers. Licensed under the
+<a href="http://www.apache.org/licenses/LICENSE-2.0">Apache License, Version 2.0</a>
+or the <a href="http://opensource.org/licenses/MIT">MIT license</a>, at your option.
+</p><p>
+This file may not be copied, modified, or distributed except according to those terms.
+</p></footer>
diff --git a/src/doc/footer.tex b/src/doc/footer.tex
new file mode 100644
index 00000000000..9f9ceb6ba9a
--- /dev/null
+++ b/src/doc/footer.tex
@@ -0,0 +1,7 @@
+Copyright © 2011-2014 The Rust Project Developers. Licensed under the
+\href{http://www.apache.org/licenses/LICENSE-2.0}{Apache License,
+Version 2.0} or the \href{http://opensource.org/licenses/MIT}{MIT
+license}, at your option.
+
+This file may not be copied, modified, or distributed except according
+to those terms.
diff --git a/src/doc/rust.css b/src/doc/rust.css
index 194a401395f..976c62beb03 100644
--- a/src/doc/rust.css
+++ b/src/doc/rust.css
@@ -15,7 +15,6 @@
 body {
     margin: 0 auto;
     padding: 0 15px;
-    margin-bottom: 4em;
     font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
     font-size: 14px;
     color: #333;
@@ -76,6 +75,15 @@ p {
     margin: 0 0 10px;
 }
 
+footer {
+    border-top: 1px solid #ddd;
+    font-size: 12px;
+    font-style: italic;
+    padding-top: 4px;
+    margin-top: 4em;
+    margin-bottom: 1em;
+}
+
 /* Links layout
    ========================================================================== */
 a {