Author: dylan Date: 2004-08-20 23:23:54 -0400 (Fri, 20 Aug 2004) New Revision: 354
Added: trunk/docs/manual/Makefile Log: added makefile. Added: trunk/docs/manual/Makefile =================================================================== --- trunk/docs/manual/Makefile 2004-08-21 00:33:10 UTC (rev 353) +++ trunk/docs/manual/Makefile 2004-08-21 03:23:54 UTC (rev 354) @@ -0,0 +1,29 @@ + +texi := $(shell find -name '*.texi' -mindepth 2) + +all: + @echo "Usage: make [pdf|html|info|txt]" + +info: haver.info +pdf: haver.pdf +html: haver/index.html +txt: haver.txt + +haver/index.html: haver.texi $(texi) + makeinfo --html $< + +haver.txt: haver.texi $(texi) + makeinfo --plaintext $< > $@ + + +haver.info: haver.texi $(texi) + makeinfo $< + +haver.pdf: haver.texi $(texi) + texi2pdf $< + rm haver.tp haver.ky haver.fns haver.vr \ + haver.cp haver.fn haver.pg haver.aux haver.toc \ + haver.log + +clean: +
