diff options
| author | gla <unknown> | 2001-08-22 11:02:37 +0000 |
|---|---|---|
| committer | gla <unknown> | 2001-08-22 11:02:37 +0000 |
| commit | 8615d6619374f1feeb9f300e00bd62f7389d13e3 (patch) | |
| tree | dda5fd5e346437eba3a8aa968525f5412dd7416a | |
| parent | 04d79eeb4ead800d8a645db6a0df63b6998333d2 (diff) | |
| download | haskell-8615d6619374f1feeb9f300e00bd62f7389d13e3.tar.gz | |
[project @ 2001-08-22 11:02:37 by gla]
| -rw-r--r-- | ghc/docs/storage-mgt/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile index f1f0281ae7..d6373d777e 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
|