[project @ 1997-03-14 07:52:06 by simonpj]

[ghc-hetmet.git] / ghc / docs / state_interface / Makefile

diff --git a/ghc/docs/state_interface/Makefile b/ghc/docs/state_interface/Makefile
deleted file mode 100644 (file)
index c1ab895..0000000
--- a/ghc/docs/state_interface/Makefile
+++ /dev/null
@@ -1,9 +0,0 @@
-TOP = ../../..
-include $(TOP)/ghc/mk/ghc.mk
-
-state-interface.dvi : state-interface.tex
-       $(LATEX) state-interface.tex
-
-state-interface.tex : state-interface.verb
-       @$(RM) state-interface.tex
-       expand state-interface.verb | verbatim > state-interface.tex