1 ## Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
2 # Jagannathan, and Stephen Weeks.
3 # Copyright (C) 1997-2000 NEC Research Institute.
5 # MLton is released under a BSD-style license.
6 # See the file MLton-LICENSE for details.
18 # -verbosity 0 be quieter (but not quiet enough for my taste)
19 # -address '' puts no author address at the bottom of each page
21 main
/main.html
: $(TEX_FILES
)
22 latex2html
-verbosity
1 -address
'' -local_icons main.
tex
23 cd main
&& rm -f WARNINGS images.
* *.pl
24 cd main
&& rm -f index.html
&& ln
-s main.html index.html
26 main.
dvi: $(TEX_FILES
) $(FIG_FILES
)
27 latex main
; bibtex main
; latex main
; latex main