1
0
Fork 0

Added single doc HTML file to Makefile

closure/master
Mike Gerwitz 2011-03-09 00:01:22 -05:00
parent 010942ea3f
commit d6e774caf2
1 changed files with 6 additions and 2 deletions

View File

@ -8,6 +8,7 @@ PATH_BROWSER_TEST=${PATH_TOOLS}/browser-test.html
PATH_DOC=${CWD}/doc
PATH_DOC_OUTPUT=${PATH_BUILD}/doc
PATH_DOC_OUTPUT_HTML=${PATH_DOC_OUTPUT}/manual
PATH_DOC_OUTPUT_HTML1=${PATH_DOC_OUTPUT}/manual.html
PATH_MANUAL_TEXI=${PATH_DOC}/manual.texi
COMBINE=${PATH_TOOLS}/combine
@ -40,7 +41,9 @@ test: default
done;
# generate texinfo documentation (twice to generate TOC), then remove the extra
# files that were generaetd
# files that were generated
#
# generates: pdf, HTML (multiple pages), HTML (single page)
doc:
@mkdir -p ${PATH_DOC_OUTPUT}
pdftex -output-directory "${PATH_DOC}" ${PATH_MANUAL_TEXI}
@ -52,7 +55,8 @@ doc:
| xargs rm
@mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT}
cd ${PATH_DOC}; \
makeinfo --html -o ${PATH_DOC_OUTPUT_HTML} ${PATH_MANUAL_TEXI}
makeinfo --html -o ${PATH_DOC_OUTPUT_HTML} ${PATH_MANUAL_TEXI}; \
makeinfo --no-split --html -o ${PATH_DOC_OUTPUT_HTML1} ${PATH_MANUAL_TEXI};
# clean up build dir
clean: