1
0
Fork 0

HTML documentation will now be rebuilt on texi update

closure/master
Mike Gerwitz 2011-03-20 15:53:56 -04:00
parent 254fc7e149
commit 2823e996a1
1 changed files with 2 additions and 2 deletions

View File

@ -90,12 +90,12 @@ $(PATH_DOC_OUTPUT_PLAIN): $(doc_imgs_txt) | mkbuild-doc
makeinfo --plain -I "$(PATH_DOC)" "${PATH_MANUAL_TEXI}" > $@
# doc html (multiple pages)
$(PATH_DOC_OUTPUT_HTML)/index.html: | $(PATH_DOC_OUTPUT_HTML)/img mkbuild-doc doc-img
$(PATH_DOC_OUTPUT_HTML)/index.html: $(doc_src) | $(PATH_DOC_OUTPUT_HTML)/img mkbuild-doc doc-img
makeinfo --html --css-include="${PATH_DOC_CSS}" \
-I "$(PATH_DOC)" -o "${PATH_DOC_OUTPUT_HTML}" "${PATH_MANUAL_TEXI}";
# doc html (single page)
$(PATH_DOC_OUTPUT_HTML1): | $(PATH_DOC_OUTPUT)/img mkbuild-doc doc-img
$(PATH_DOC_OUTPUT_HTML1): $(doc_src) | $(PATH_DOC_OUTPUT)/img mkbuild-doc doc-img
makeinfo --no-split --html --css-include="${PATH_DOC_CSS}" \
-I "$(PATH_DOC)" -o "${PATH_DOC_OUTPUT_HTML1}" "${PATH_MANUAL_TEXI}";