X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fstorage-mgt%2FMakefile;h=871766d4fcb7ff557d78daa5560659aa6a6d17f4;hb=9f0cc7140e7655240b97eac0e105e77a34f07d84;hp=ee543f3459d5b0f06572ee80878e3f98fa19608b;hpb=5dc05fda681ff732ef6df607a2637bd1e8c86cc3;p=ghc-hetmet.git

diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile
index ee543f3..871766d 100644
--- a/ghc/docs/storage-mgt/Makefile
+++ b/ghc/docs/storage-mgt/Makefile
@@ -1,26 +1,37 @@
-#	General makefile for Latex stuff
-
-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))) $(wildcard *.bib)
-	latex $<
-	@if grep -s "\citation" $*.aux; then bibtex $*; fi
-	latex $<
-	latex $<
-
-%.ps: %.dvi
-	dvips -f < $< > $@
-
-clean:
-	rm -f *.aux *.log
-
-nuke: clean
-	rm -f *.dvi *.ps *.bbl *.blg
-
-# End of file
+#	General makefile for Latex stuff
+
+dvi: sm.dvi rp.dvi ldv.dvi
+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))) $(wildcard *.bib)
+	latex $<
+	@if grep -s "\citation" $*.aux; then bibtex $*; fi
+	latex $<
+	latex $<
+
+%.ps: %.dvi
+	dvips -f < $< > $@
+
+clean:
+	$(RM) *.aux *.log
+
+distclean: clean
+	$(RM) *.dvi *.ps *.bbl *.blg *.gz
+
+maintainer-clean: distclean
+
+# dummy targets
+all:
+boot:
+install:
+install-docs:
+html:
+chm:
+HxS:
+
+# End of file