1
0
Fork 0

Added doc HTML output to Makefile

closure/master
Mike Gerwitz 2011-03-08 23:48:47 -05:00
parent 3148f468f2
commit 162e084edd
1 changed files with 10 additions and 4 deletions

View File

@ -5,6 +5,8 @@ PATH_COMBINE_OUTPUT=${PATH_BUILD}/ease.js
PATH_COMBINE_OUTPUT_FULL=${PATH_BUILD}/ease-full.js PATH_COMBINE_OUTPUT_FULL=${PATH_BUILD}/ease-full.js
PATH_BROWSER_TEST=${PATH_TOOLS}/browser-test.html PATH_BROWSER_TEST=${PATH_TOOLS}/browser-test.html
PATH_DOC=./doc PATH_DOC=./doc
PATH_DOC_OUTPUT=${PATH_BUILD}/doc
MANUAL_TEXI=manual.texi
COMBINE=${PATH_TOOLS}/combine COMBINE=${PATH_TOOLS}/combine
@ -39,16 +41,20 @@ test: default
# generate texinfo documentation (twice to generate TOC), then remove the extra # generate texinfo documentation (twice to generate TOC), then remove the extra
# files that were generaetd # files that were generaetd
doc: doc:
pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/manual.texi; @mkdir -p ${PATH_DOC_OUTPUT}
pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/manual.texi; pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/${MANUAL_TEXI}
pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/${MANUAL_TEXI}
find ${PATH_DOC} -type f \ find ${PATH_DOC} -type f \
! -name '*.texi' -a \ ! -name '*.texi' -a \
! -name '.*' -a \ ! -name '.*' -a \
! -name '*.pdf' \ ! -name '*.pdf' \
| xargs rm | xargs rm
mv ${PATH_DOC}/*.pdf ${PATH_BUILD}/ @mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT}
cd ${PATH_DOC}; \
makeinfo --html -o manual ${MANUAL_TEXI}
@mv -f ${PATH_DOC}/manual ${PATH_DOC_OUTPUT}
# clean up build dir # clean up build dir
clean: clean-doc clean:
rm -rf ${PATH_BUILD} rm -rf ${PATH_BUILD}