From 8615d6619374f1feeb9f300e00bd62f7389d13e3 Mon Sep 17 00:00:00 2001
From: gla <unknown>
Date: Wed, 22 Aug 2001 11:02:37 +0000
Subject: [PATCH] [project @ 2001-08-22 11:02:37 by gla]

---
 ghc/docs/storage-mgt/Makefile |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile
index f1f0281..d6373d7 100644
--- a/ghc/docs/storage-mgt/Makefile
+++ b/ghc/docs/storage-mgt/Makefile
@@ -1,13 +1,14 @@
 #	General makefile for Latex stuff
 
-ps: sm.ps
+ps: sm.ps rp.ps ldv.ps
 
 
 ######## General rules
 .SUFFIXES:
 .PRECIOUS: %.tex %.ps %.bbl
 
-%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb *.fig))) $(wildcard *.bib)
+#%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb *.fig))) $(wildcard *.bib)
+%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb))) $(wildcard *.bib)
 	latex $<
 	@if grep -s "\citation" $*.aux; then bibtex $*; fi
 
-- 
1.7.10.4