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
|
.PHONY: all loop clean
export TEXINPUTS=.:
DEPS = $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty) $(wildcard *.mly)
all: manual.pdf manual.html
%.pdf: %.tex $(DEPS)
pdflatex $*
bibtex $*
pdflatex $*
pdflatex $*
manual.html: manual.tex $(DEPS) $(wildcard *.hva)
hevea -fix manual.tex
#
# Hevea interprets 'tabbing' environment in a way
# that creates spacing errors in the rendered output
# of "textual version of derivation trees": it
# asks for (padding:0px;) while the TeX rendering
# inserts spacing between columns. Change this
# to {padding:1px;}
sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak
#
# Note: hevea generates images manual00{1,2,3}.png for the tikz pictures
# present in the manual.
loop:
latexmk -pdf -pvc manual
clean:
@ rm -f `cat .gitignore`
|
