1 ## Copyright (C) 2004-2006 Henry Cejtin, Matthew Fluet, Suresh
2 # Jagannathan, and Stephen Weeks.
4 # MLton is released under a BSD-style license.
5 # See the file MLton-LICENSE for details.
12 all: mlb-formal.ps mlb-formal.pdf
14 mlb-formal.
dvi: $(TEX_FILES
)
15 latex mlb-formal
; bibtex mlb-formal
; latex mlb-formal
; latex mlb-formal
17 mlb-formal.pdf
: $(TEX_FILES
)
23 mlb-formal.ps
: mlb-formal.
dvi
24 dvips
-o mlb-formal.ps mlb-formal