-define(`run_latex', `latex "\def\indexing{n} \nonstopmode \input $<"
- latex "\def\indexing{y} \nonstopmode \input $<"
- makeindex -s gind.ist $`'*.idx
- latex "\def\indexing{n} \nonstopmode \input $<"')
-
-$(DVI): $(AUX) $(INS)
-.dtx.dvi: run_latex
+define(`run_latex', `rm -rf t.$`'@/ && mkdir t.$`'@/ && \
+ cd t.$`'@/ && \
+ TEXINPUTS=..:$$TEXINPUTS && export TEXINPUTS && \
+ $1 "\def\indexing{n} \nonstopmode \input $<" && \
+ $1 "\def\indexing{y} \nonstopmode \input $<" && \
+ makeindex -s gind.ist $`'*.idx && \
+ $1 "\def\indexing{n} \nonstopmode \input $<" && \
+ mv $`'@ ../ && cd ../ && rm -rf t.$`'@/')
+
+$(DVI) $(PDF): $(AUX) $(INS)
+.dtx.dvi:; run_latex(`latex')
+.dtx.pdf:; run_latex(`pdflatex')