HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | ## Copyright (C) 2004-2006 Henry Cejtin, Matthew Fluet, Suresh |
| 2 | # Jagannathan, and Stephen Weeks. | |
| 3 | # | |
| 4 | # MLton is released under a BSD-style license. | |
| 5 | # See the file MLton-LICENSE for details. | |
| 6 | ## | |
| 7 | ||
| 8 | TEX_FILES := \ | |
| 9 | bib.bib \ | |
| 10 | mlb-formal.tex | |
| 11 | ||
| 12 | all: mlb-formal.ps mlb-formal.pdf | |
| 13 | ||
| 14 | mlb-formal.dvi: $(TEX_FILES) | |
| 15 | latex mlb-formal; bibtex mlb-formal; latex mlb-formal; latex mlb-formal | |
| 16 | ||
| 17 | mlb-formal.pdf: $(TEX_FILES) | |
| 18 | latex mlb-formal | |
| 19 | bibtex mlb-formal | |
| 20 | latex mlb-formal | |
| 21 | pdflatex mlb-formal | |
| 22 | ||
| 23 | mlb-formal.ps: mlb-formal.dvi | |
| 24 | dvips -o mlb-formal.ps mlb-formal | |
| 25 | ||
| 26 | .PHONY: clean | |
| 27 | clean: | |
| 28 | ../../bin/clean | |
| 29 | ||
| 30 | .PHONY: tags | |
| 31 | tags: | |
| 32 | etags *.tex |