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
|
export VISITORS_BUILDING_DOCUMENTATION=true
include ../Makefile.preprocess
export TEXINPUTS=.:../test:
.PHONY: all loop clean
all: manual.pdf
SOURCES := $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty)
ML := $(shell ls ../test/*.ml | grep -v cppo | grep -v processed)
PROCESSED := $(patsubst %.ml,%.processed.ml,$(ML))
%.pdf: %.tex $(SOURCES) $(ML) $(PROCESSED)
pdflatex $*
bibtex $*
pdflatex $*
pdflatex $*
loop: $(SOURCES) $(ML) $(PROCESSED)
latexmk -pdf -pvc manual
clean:
rm -f *.log *.aux *.bbl *.blg *.out *.toc *~ manual.pdf
|
