summaryrefslogtreecommitdiff
path: root/doc/Makefile.am
blob: 77a1d5a9c8455d0c58bafe8603d6ac964b171b86 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
EXTRA_DIST = registres.txt archi.tex bib.tex compilateur.tex conclusion.tex description.tex encodage.tex exemples.tex extensions.tex intro.tex manuel.tex probs.tex simulateur.tex Makefile.doc Compilo.fig Compilo.eps outils.tex

#all: archi.ps

archi.dvi: archi.tex bib.tex compilateur.tex conclusion.tex description.tex encodage.tex exemples.tex extensions.tex intro.tex manuel.tex probs.tex simulateur.tex source.tex
	make -f Makefile.doc

source.tex:
	make -f Makefile.doc source

archi.ps: archi.dvi
	make -f Makefile.doc archi.ps

clean:
	make -f Makefile.doc clean