ps:
	make -f Makefile.doc ps

clean:
	make -f Makefile.doc clean

distclean:
	make -f Makefile.doc clean

EXTRA_DIST = bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex