Reorganisation of the source tree

[ghc-hetmet.git] / docs / storage-mgt / Makefile

diff --git a/docs/storage-mgt/Makefile b/docs/storage-mgt/Makefile
new file mode 100644 (file)
index 0000000..871766d
--- /dev/null
+++ b/docs/storage-mgt/Makefile
@@ -0,0 +1,37 @@
+#      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