1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
TEX_FILES = \
abstract.tex \
basis-library.tex \
main.tex \
macros.tex \
mlton.tex \
notes.tex \
runtime.tex \
sources.tex \
FIG_FILES = \
structure.ps \
all: main.ps
# -verbosity 0 be quieter (but not quiet enough for my taste)
# -address '' puts no author address at the bottom of each page
main/main.html: $(TEX_FILES)
latex2html -verbosity 1 -address '' -local_icons main.tex
cd main && rm -f WARNINGS images.* *.pl
cd main && rm -f index.html && ln -s main.html index.html
main.dvi: $(TEX_FILES) $(FIG_FILES)
latex main; bibtex main; latex main; latex main
main.ps: main.dvi
dvips -o main.ps main
%.ps: %.fig
fig2dev -Leps $< $@
.PHONY: clean
clean:
../../bin/clean
.PHONY: tags
tags:
etags *.tex
|
