mk: Fix formatting of docs.mk
This commit is contained in:
parent
1f1838ea3e
commit
f5ee07792e
|
@ -19,8 +19,8 @@ HTML_DEPS :=
|
||||||
|
|
||||||
BASE_DOC_OPTS := --from=markdown --standalone --toc --number-sections
|
BASE_DOC_OPTS := --from=markdown --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-before-body=doc/version_info.html \
|
||||||
--include-in-header=doc/favicon.inc
|
--include-in-header=doc/favicon.inc
|
||||||
TEX_OPTS = $(BASE_DOC_OPTS) --to=latex
|
TEX_OPTS = $(BASE_DOC_OPTS) --to=latex
|
||||||
EPUB_OPTS = $(BASE_DOC_OPTS) --to=epub
|
EPUB_OPTS = $(BASE_DOC_OPTS) --to=epub
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue