projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
[project @ 1996-07-25 20:43:49 by partain]
[ghc-hetmet.git]
/
ghc
/
docs
/
state_interface
/
Jmakefile
1
state-interface.dvi : state-interface.tex
2
$(RM) state-interface.dvi
3
latex state-interface.tex
4
5
state-interface.tex : state-interface.verb
6
$(RM) state-interface.tex
7
expand state-interface.verb | verbatim > state-interface.tex