Makefile tweaks
authorTom Henderson <tomh@tomh.org>
Thu Apr 03 21:08:28 2008 -0700 (22 months ago)
changeset 28706fb3db586fb5
parent 2869 a331020d959f
child 2871 6d712f10acc0
Makefile tweaks
doc/tutorial/Makefile
     1.1 --- a/doc/tutorial/Makefile	Thu Apr 03 20:58:40 2008 -0700
     1.2 +++ b/doc/tutorial/Makefile	Thu Apr 03 21:08:28 2008 -0700
     1.3 @@ -3,19 +3,23 @@
     1.4  EPSTOPDF = epstopdf
     1.5  TGIF = tgif 
     1.6  CSS = --css-include=tutorial.css
     1.7 +SPLIT = --split section
     1.8  
     1.9  TGIF_SOURCES = helpers.obj
    1.10  TGIF_EPS = ${TGIF_SOURCES:.obj=.eps}
    1.11  
    1.12 -all:  images tutorial.html tutorial.pdf
    1.13 +all:  images html split-html pdf
    1.14  
    1.15  images:
    1.16  	cd figures/; $(TGIF) -print -png $(TGIF_SOURCES) 
    1.17  	cd figures/; $(TGIF) -print -eps $(TGIF_SOURCES) 
    1.18  	cd figures/; $(EPSTOPDF) $(TGIF_EPS)
    1.19  
    1.20 -tutorial.html:
    1.21 +html: images
    1.22  	$(TEXI2HTML) ${CSS} tutorial.texi
    1.23  
    1.24 -tutorial.pdf:
    1.25 +split-html: images
    1.26 +	$(TEXI2HTML) ${CSS} ${SPLIT} tutorial.texi
    1.27 +
    1.28 +pdf: images
    1.29  	$(TEXI2PDF) tutorial.texi