From 9457f7e31474a6e5b7527ca3d5fdaf22a09f07f7 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 8 Mar 2011 00:06:34 -0500 Subject: [PATCH] Added doc target to Makefile --- Makefile | 20 +++++++++++++++++--- doc/manual.texi | 2 +- 2 files changed, 18 insertions(+), 4 deletions(-) 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