1 TEXBIN = /usr/local/teTeX/bin
3 TEXINDEX = $(TEXBIN)/texindex
4 DVI2PDF = $(TEXBIN)/dvipdfmx
9 @makeinfo --html --css-ref=style.css $^
11 @if test ! -s $(TEMPPDF); then mkdir $(TEMPPDF); fi; \
14 $(TEXINDEX) yacasl2.??; \
15 $(DVI2PDF) yacasl2.dvi; \
19 @rm -rf yacasl2/index.html $(TEMPPDF)