summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/tools/texi2www/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/tools/texi2www/Makefile b/doc/tools/texi2www/Makefile
index a1455553f8..c66db06399 100644
--- a/doc/tools/texi2www/Makefile
+++ b/doc/tools/texi2www/Makefile
@@ -28,7 +28,6 @@ $(PROJECT).ps: $(PROJECT).dvi
dvips -o $(PROJECT).ps $(PROJECT).dvi
cp $(PROJECT).ps $(PS_INSTALL)
-# run texi2dvi twice to generate the xref's properly.
$(PROJECT).dvi: $(FILES)
$(TEXI2DVI) -v $(PROJECT).texi