Don't use re-tex. Add rule to generate PDF.

diff --git a/v7/doc/user-manual/Makefile b/v7/doc/user-manual/Makefile
index 83eff348dd95e159c0cb21f620891c4325371e3c..4e08be7741d2b0bf45a1fd9a798822cd942d88d4 100644 (file)
--- a/v7/doc/user-manual/Makefile
+++ b/v7/doc/user-manual/Makefile
@@ -1,5 +1,5 @@
 
-# $Id: Makefile,v 1.1 2000/07/10 22:03:44 cph Exp $
+# $Id: Makefile,v 1.2 2000/07/10 22:04:23 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -23,7 +23,10 @@ user.ps: user.dvi
        dvips -o $@ $^
 
 user.dvi: user.texinfo
-       ./re-tex
+       texi2dvi $^
+
+user.pdf: user.texinfo
+       texi2pdf $^
 
 user.info: user.texinfo
        makeinfo $^