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
|
