HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | ## Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh |
| 2 | # Jagannathan, and Stephen Weeks. | |
| 3 | # Copyright (C) 1997-2000 NEC Research Institute. | |
| 4 | # | |
| 5 | # MLton is released under a BSD-style license. | |
| 6 | # See the file MLton-LICENSE for details. | |
| 7 | ## | |
| 8 | ||
| 9 | TEX_FILES := \ | |
| 10 | abstract.tex \ | |
| 11 | basis-library.tex \ | |
| 12 | main.tex \ | |
| 13 | macros.tex \ | |
| 14 | mlton.tex \ | |
| 15 | notes.tex \ | |
| 16 | runtime.tex \ | |
| 17 | sources.tex \ | |
| 18 | ||
| 19 | FIG_FILES := \ | |
| 20 | structure.ps \ | |
| 21 | ||
| 22 | all: main.ps | |
| 23 | ||
| 24 | # -verbosity 0 be quieter (but not quiet enough for my taste) | |
| 25 | # -address '' puts no author address at the bottom of each page | |
| 26 | ||
| 27 | main/main.html: $(TEX_FILES) | |
| 28 | latex2html -verbosity 1 -address '' -local_icons main.tex | |
| 29 | cd main && rm -f WARNINGS images.* *.pl | |
| 30 | cd main && rm -f index.html && ln -s main.html index.html | |
| 31 | ||
| 32 | main.dvi: $(TEX_FILES) $(FIG_FILES) | |
| 33 | latex main; bibtex main; latex main; latex main | |
| 34 | ||
| 35 | main.ps: main.dvi | |
| 36 | dvips -o main.ps main | |
| 37 | ||
| 38 | %.ps: %.fig | |
| 39 | fig2dev -Leps $< $@ | |
| 40 | ||
| 41 | .PHONY: clean | |
| 42 | clean: | |
| 43 | ../../bin/clean | |
| 44 | ||
| 45 | .PHONY: tags | |
| 46 | tags: | |
| 47 | etags *.tex |