blob: d70705797545276ad21e60df851addd41bf42402 (
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
all: archi.ps
source.tex:
make -f Makefile.doc source
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
archi.ps: archi.dvi
make -f Makefile.doc archi.ps
clean:
make -f Makefile.doc clean
|