Makefile 813 Bytes
Newer Older
1
.PHONY: all loop clean
2 3 4

export TEXINPUTS=.:

5 6
DEPS = $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty) $(wildcard *.mly)

7
all: manual.pdf manual.html
8

9
%.pdf: %.tex $(DEPS)
10 11 12
	pdflatex $*
	bibtex $*
	pdflatex $*
regisgia's avatar
regisgia committed
13
	pdflatex $*
14

15 16
manual.html: manual.tex $(DEPS) $(wildcard *.hva)
	hevea -fix manual.tex
17 18 19 20 21 22 23
#
# 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;}
24
	sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak
25
#
26 27
# Note: hevea generates images manual00{1,2,3}.png for the tikz pictures
# present in the manual.
28

29
loop:
30
	latexmk -pdf -pvc manual
31

32
clean:
33
	rm -f `cat .gitignore`