blob: 08651deedf5d849a2e4ed7ff260152e67e3c7c2d (
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
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
|
