Replaced GNU make-specific stuff by the general make syntax to make

the file more portable.

docs/Makefile

@@ -4,25 +4,19 @@
 # $Header$
 #
 
-all:	petidomo.ps
+.SUFFIXES:
+.SUFFIXES:      .tex .dvi .ps
 
-%.dvi : %.tex
+.tex.dvi:
 	latex \\nonstopmode\\input $<; \
-	while egrep 'Rerun to' $*.log; do \
+	while grep 'Rerun to' $*.log; do \
 	     latex \\nonstopmode\\input $<; \
 	done
 
-%.ps : %.dvi
+.dvi.ps:
 	dvips $< -o $@
 
-%.eps:	%.fig
-	fig2dev -L ps $< $@
-
-petidomo.dvi:		ml-principle1.eps ml-principle2.eps directory-struct.eps
-
-ml-principle1.eps:	ml-principle1.fig
-ml-principle2.eps:	ml-principle2.fig
-directory-struct.eps:	directory-struct.fig
+all:	petidomo.ps
 
 clean distclean realclean:
 	rm -f petidomo.aux petidomo.dvi petidomo.log petidomo.ps petidomo.toc