X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;h=d43de39f31244c66bc68082278ef711eb89e39d2;hp=4be074e94cc232b38926b91501b195813ec5cb52;hb=a624efdf4ae3a309dd991ec148eaa4c4ec565b93;hpb=c4f3377b7b6a88cbdab9813584f8891e3397e242

diff --git a/doc/Makefile b/doc/Makefile
index 4be074e..d43de39 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,15 +1,15 @@
 DOCNAME = yacasl2
 SRC = $(DOCNAME).texi
 CSS = style.css
-TEXBIN = $(dir $(shell which ptex))
-PTEX = $(TEXBIN)/ptex
-TEXINDEX = $(TEXBIN)/texindex
-DVI2PDF = $(TEXBIN)/dvipdfmx
+
+PTEX = ptex
+TEXI2DVI = texi2dvi
+DVI2PDF = dvipdfmx
 MAKEINFO = makeinfo
 
 .PHONY: all htmlnosplit pdf clean
 
-.INTERMEDIATE: yacasl2.dvi
+.INTERMEDIATE: $(DOCNAME).dvi
 
 all: info htmlnosplit html pdf
 
@@ -28,13 +28,13 @@ $(DOCNAME).info: $(SRC)
 	@$(MAKEINFO) -o $@ $^
 
 $(DOCNAME).html: $(SRC) $(CSS)
-	@$(MAKEINFO) -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC)
+	@$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $(SRC)
 
 $(DOCNAME).pdf: $(DOCNAME).dvi
 	@$(DVI2PDF) $^
 
 $(DOCNAME).dvi: $(SRC)
-	@TEX=ptex texi2dvi -q --texinfo=@afourpaper -o $@ $<
+	@TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
 	@rm -rf $(DOCNAME).aux $(DOCNAME).cp $(DOCNAME).cps $(DOCNAME).fn $(DOCNAME).ky $(DOCNAME).log $(DOCNAME).pg $(DOCNAME).pgs $(DOCNAME).tmp $(DOCNAME).toc $(DOCNAME).tp $(DOCNAME).vr
 
 clean: