-TEXBIN = /usr/local/teTeX/bin
-PTEX = $(TEXBIN)/ptex
-TEXINDEX = $(TEXBIN)/texindex
-DVI2PDF = $(TEXBIN)/dvipdfmx
-TEXOBJDIR = texobj
-
-.PHONY: all htmlnosplit pdf clean
-all: info htmlnosplit html pdf
+
+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
+