diff --git a/Makefile b/Makefile index a277102..83dbe9f 100644 --- a/Makefile +++ b/Makefile @@ -4,14 +4,16 @@ PATH_TOOLS=./tools PATH_COMBINE_OUTPUT=${PATH_BUILD}/ease.js PATH_COMBINE_OUTPUT_FULL=${PATH_BUILD}/ease-full.js PATH_BROWSER_TEST=${PATH_TOOLS}/browser-test.html +PATH_DOC=./doc COMBINE=${PATH_TOOLS}/combine -.PHONY: test +.PHONY: test doc default: combine +all: combine doc # create build dir mkbuild: @@ -34,7 +36,19 @@ test: default ./$$test; \ done; +# generate texinfo documentation (twice to generate TOC), then remove the extra +# files that were generaetd +doc: + pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/manual.texi; + pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/manual.texi; + find ${PATH_DOC} -type f \ + ! -name '*.texi' -a \ + ! -name '.*' -a \ + ! -name '*.pdf' \ + | xargs rm + mv ${PATH_DOC}/*.pdf ${PATH_BUILD}/ + # clean up build dir -clean: +clean: clean-doc rm -rf ${PATH_BUILD} - + diff --git a/doc/manual.texi b/doc/manual.texi index 24f0d8a..3a29786 100644 --- a/doc/manual.texi +++ b/doc/manual.texi @@ -41,6 +41,6 @@ Free Documentation License". This manual is for ease.js, version 0.1.0-pre. @end ifnottex -@include license.texi +@include ./license.texi @bye