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