projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[project @ 1996-07-25 20:43:49 by partain]
[ghc-hetmet.git]
/
ghc
/
docs
/
state_interface
/
Jmakefile
diff --git
a/ghc/docs/state_interface/Jmakefile
b/ghc/docs/state_interface/Jmakefile
index
e69de29
..
08be0d0
100644
(file)
--- a/
ghc/docs/state_interface/Jmakefile
+++ b/
ghc/docs/state_interface/Jmakefile
@@
-0,0
+1,7
@@
+state-interface.dvi : state-interface.tex
+ $(RM) state-interface.dvi
+ latex state-interface.tex
+
+state-interface.tex : state-interface.verb
+ $(RM) state-interface.tex
+ expand state-interface.verb | verbatim > state-interface.tex