[project @ 1996-07-25 20:43:49 by partain]

[ghc-hetmet.git] / ghc / docs / add_to_compiler / Jmakefile

diff --git a/ghc/docs/add_to_compiler/Jmakefile b/ghc/docs/add_to_compiler/Jmakefile
deleted file mode 100644 (file)
index ec85333..0000000
--- a/ghc/docs/add_to_compiler/Jmakefile
+++ /dev/null
@@ -1,22 +0,0 @@
-/* this is a standalone Jmakefile; NOT part of ghc "make world" */
-
-DocProcessingSuffixRules()
-
-SRCS_VERB = \
-       paper.verb \
-       state-of-play.verb \
-       overview.verb \
-       overview-fig.verb \
-       front-end.verb \
-       back-end.verb \
-       core-syntax.verb \
-       core-summary-fig.verb \
-       stg-summary-fig.verb \
-       howto-add.verb
-SRCS_TEX = $(SRCS_VERB:.verb=.tex)
-
-docs:: paper.dvi
-
-paper.dvi: $(SRCS_TEX)
-
-ExtraStuffToClean( $(SRCS_TEX) )