ps:
	make -f Makefile.doc ps

clean:
	make -f Makefile.doc clean

distclean:
	make -f Makefile.doc clean

EXTRA_DIST = algo.tex algorithmes.tex bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex structures.tex temps.tex