Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / style-guide / Makefile
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 main.tex \
12 macros.tex \
13
14 FIG_FILES := \
15
16 all: main.ps
17
18 # -verbosity 0 be quieter (but not quiet enough for my taste)
19 # -address '' puts no author address at the bottom of each page
20
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
25
26 main.dvi: $(TEX_FILES) $(FIG_FILES)
27 latex main; bibtex main; latex main; latex main
28
29 main.ps: main.dvi
30 dvips -o main.ps main
31
32 %.ps: %.fig
33 fig2dev -Leps $< $@
34
35 .PHONY: clean
36 clean:
37 ../../bin/clean
38
39 .PHONY: tags
40 tags:
41 etags *.tex