From 02672f0daeab4eb12964c97405beaa24d78386e0 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 10 Jul 2000 22:06:59 +0000
Subject: [PATCH] Don't use re-tex.  Add rule to generate PDF.

---
 v7/doc/user-manual/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/v7/doc/user-manual/Makefile b/v7/doc/user-manual/Makefile
index 83eff348d..4e08be774 100644
--- 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 $^
-- 
2.25.1