doc: add license information for gen. files

This commit is contained in:
Adrien Tétar 2014-02-07 20:46:39 +01:00
parent c3ccaacc6c
commit ec2f047aa9
5 changed files with 40 additions and 8 deletions

1
.gitignore vendored
View File

@ -75,7 +75,6 @@ src/.DS_Store
/nd/ /nd/
/llvm/ /llvm/
version.md version.md
*.tex
keywords.md keywords.md
x86_64-apple-darwin/ x86_64-apple-darwin/
x86_64-unknown-linux-gnu/ x86_64-unknown-linux-gnu/

View File

@ -19,8 +19,10 @@ HTML_DEPS := doc/
BASE_DOC_OPTS := --standalone --toc --number-sections BASE_DOC_OPTS := --standalone --toc --number-sections
HTML_OPTS = $(BASE_DOC_OPTS) --to=html5 --section-divs --css=rust.css \ HTML_OPTS = $(BASE_DOC_OPTS) --to=html5 --section-divs --css=rust.css \
--include-before-body=doc/version_info.html --include-in-header=doc/favicon.inc --include-before-body=doc/version_info.html \
TEX_OPTS = $(BASE_DOC_OPTS) --include-before-body=doc/version.md --to=latex --include-in-header=doc/favicon.inc --include-after-body=doc/footer.inc
TEX_OPTS = $(BASE_DOC_OPTS) --include-before-body=doc/version.md \
--from=markdown --include-before-body=doc/footer.tex --to=latex
EPUB_OPTS = $(BASE_DOC_OPTS) --to=epub EPUB_OPTS = $(BASE_DOC_OPTS) --to=epub
D := $(S)src/doc D := $(S)src/doc
@ -55,12 +57,21 @@ doc/rust.css: $(D)/rust.css | doc/
@$(call E, cp: $@) @$(call E, cp: $@)
$(Q)cp -a $< $@ 2> /dev/null $(Q)cp -a $< $@ 2> /dev/null
HTML_DEPS += doc/favicon.inc
doc/favicon.inc: $(D)/favicon.inc | doc/
@$(call E, cp: $@)
$(Q)cp -a $< $@ 2> /dev/null
doc/full-toc.inc: $(D)/full-toc.inc | doc/ doc/full-toc.inc: $(D)/full-toc.inc | doc/
@$(call E, cp: $@) @$(call E, cp: $@)
$(Q)cp -a $< $@ 2> /dev/null $(Q)cp -a $< $@ 2> /dev/null
HTML_DEPS += doc/favicon.inc HTML_DEPS += doc/footer.inc
doc/favicon.inc: $(D)/favicon.inc | doc/ doc/footer.inc: $(D)/footer.inc | doc/
@$(call E, cp: $@)
$(Q)cp -a $< $@ 2> /dev/null
doc/footer.tex: $(D)/footer.tex | doc/
@$(call E, cp: $@) @$(call E, cp: $@)
$(Q)cp -a $< $@ 2> /dev/null $(Q)cp -a $< $@ 2> /dev/null
@ -83,7 +94,7 @@ doc/rust.html: $(D)/rust.md doc/full-toc.inc $(HTML_DEPS) | doc/
$(CFG_PANDOC) $(HTML_OPTS) --include-in-header=doc/full-toc.inc --output=$@ $(CFG_PANDOC) $(HTML_OPTS) --include-in-header=doc/full-toc.inc --output=$@
DOCS += doc/rust.tex DOCS += doc/rust.tex
doc/rust.tex: $(D)/rust.md doc/version.md | doc/ doc/rust.tex: $(D)/rust.md doc/footer.tex doc/version.md | doc/
@$(call E, pandoc: $@) @$(call E, pandoc: $@)
$(Q)$(CFG_NODE) $(D)/prep.js $< | \ $(Q)$(CFG_NODE) $(D)/prep.js $< | \
$(CFG_PANDOC) $(TEX_OPTS) --output=$@ $(CFG_PANDOC) $(TEX_OPTS) --output=$@
@ -107,7 +118,7 @@ doc/tutorial.html: $(D)/tutorial.md $(HTML_DEPS)
$(CFG_PANDOC) $(HTML_OPTS) --output=$@ $(CFG_PANDOC) $(HTML_OPTS) --output=$@
DOCS += doc/tutorial.tex DOCS += doc/tutorial.tex
doc/tutorial.tex: $(D)/tutorial.md doc/version.md doc/tutorial.tex: $(D)/tutorial.md doc/footer.tex doc/version.md
@$(call E, pandoc: $@) @$(call E, pandoc: $@)
$(Q)$(CFG_NODE) $(D)/prep.js $< | \ $(Q)$(CFG_NODE) $(D)/prep.js $< | \
$(CFG_PANDOC) $(TEX_OPTS) --output=$@ $(CFG_PANDOC) $(TEX_OPTS) --output=$@

7
src/doc/footer.inc Normal file
View File

@ -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>

7
src/doc/footer.tex Normal file
View File

@ -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.

View File

@ -15,7 +15,6 @@
body { body {
margin: 0 auto; margin: 0 auto;
padding: 0 15px; padding: 0 15px;
margin-bottom: 4em;
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 14px; font-size: 14px;
color: #333; color: #333;
@ -76,6 +75,15 @@ p {
margin: 0 0 10px; 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 /* Links layout
========================================================================== */ ========================================================================== */
a { a {