-TEXBIN = /usr/local/teTeX/bin
-PTEX = $(TEXBIN)/ptex
-TEXINDEX = $(TEXBIN)/texindex
-DVI2PDF = $(TEXBIN)/dvipdfmx
-TEXOBJDIR = texobj
-
-.PHONY: all htmlnosplit pdf clean
-all: htmlnosplit html pdf
-htmlnosplit: $(DOCNAME).html
-$(DOCNAME).html: $(SRC) $(CSS)
- @makeinfo -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC)
+
+MV = mv
+CP = cp
+MKDIR = mkdir
+RMRF = rm -rf
+PTEX = ptex
+TEXI2DVI = texi2dvi
+DVI2PDF = dvipdfmx
+MAKEINFO = makeinfo
+
+.PHONY: doc info htmlnosplit html pdf clean clean_docs clean_tex_tmp
+
+.INTERMEDIATE: $(DOCNAME).dvi
+
+doc: info htmlnosplit html pdf
+
+info: $(DOCNAME).info
+
+htmlnosplit: index.html
+
+index.html: $(SRC) $(CSS)
+ $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $(SRC)
+