projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
[project @ 1996-11-21 16:45:53 by simonm]
[ghc-hetmet.git]
/
ghc
/
docs
/
state_interface
/
Makefile
1
TOP = ../../..
2
include $(TOP)/ghc/mk/ghc.mk
3
4
state-interface.dvi : state-interface.tex
5
$(LATEX) state-interface.tex
6
7
state-interface.tex : state-interface.verb
8
@$(RM) state-interface.tex
9
expand state-interface.verb | verbatim > state-interface.tex