3 TEXBIN = /usr/local/teTeX/bin
5 TEXINDEX = $(TEXBIN)/texindex
6 DVI2PDF = $(TEXBIN)/dvipdfmx
10 $(DOCNAME).html: $(SRC)
11 @makeinfo -o $@ --no-split --no-headers --html --css-include=style.css $^
14 makeinfo -o $@ --html --css-ref=style.css $^
15 $(DOCNAME).dvi: $(SRC)
16 @if test ! -s $(TEXOBJDIR); then mkdir $(TEXOBJDIR); fi; \
18 TEX=ptex texi2dvi --texinfo=@afourpaper -o ../$@ ../$^; \
20 $(DOCNAME).pdf: $(DOCNAME).dvi
23 @rm -rf html $(TEXOBJDIR) $(DOCNAME).html $(DOCNAME).dvi $(DOCNAME).pdf