From d40df57546e1656c124fa0da53071f726254c4d2 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Mon, 12 Feb 2001 19:34:50 +0000 Subject: [PATCH] Replaced GNU make-specific stuff by the general make syntax to make the file more portable. --- docs/Makefile | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index 87dc189..e462f10 100644 --- a/docs/Makefile +++ b/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