diff --git a/Makefile b/Makefile index 64ca296..9545475 100644 --- a/Makefile +++ b/Makefile @@ -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: