diff options
Diffstat (limited to 'ghc/docs/state_interface/Jmakefile')
| -rw-r--r-- | ghc/docs/state_interface/Jmakefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ghc/docs/state_interface/Jmakefile b/ghc/docs/state_interface/Jmakefile index e69de29bb2..08be0d0a70 100644 --- 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 |