4 TEXBIN = /usr/local/teTeX/bin
6 TEXINDEX = $(TEXBIN)/texindex
7 DVI2PDF = $(TEXBIN)/dvipdfmx
10 .PHONY: all htmlnosplit pdf clean
11 all: htmlnosplit html pdf
12 htmlnosplit: $(DOCNAME).html
13 $(DOCNAME).html: $(SRC) $(CSS)
14 @makeinfo -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC)
16 @if test ! -s $@; then mkdir $@; fi; \
17 cp $(CSS) $@/$(CSS); \
18 makeinfo -o $@ --html --css-ref=style.css $(SRC)
20 $(DOCNAME).pdf: $(DOCNAME).dvi
22 $(DOCNAME).dvi: $(SRC)
23 @if test ! -s $(TEXOBJDIR); then mkdir $(TEXOBJDIR); fi; \
25 TEX=ptex texi2dvi --texinfo=@afourpaper -o ../$@ ../$^; \
28 @rm -rf html $(TEXOBJDIR) $(DOCNAME).html $(DOCNAME).dvi $(DOCNAME).pdf