--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile	Wed Apr 28 14:17:46 2010 +0000
@@ -0,0 +1,39 @@
+# $Id$
+
+.SUFFIXES: .dvi .tex .jpg .eps .ps .fig .pdf .html .tif
+
+LATEX = latex
+
+DOCUMENTS = WSPLGEN-Dokumentation.pdf
+IMAGES    =
+
+%.eps:	%.jpg
+	convert jpg:$*.jpg eps:$*.eps
+
+%.eps:	%.fig
+	fig2dev -L ps -p dummy_arg -z A4 $*.fig > $*.ps
+
+%.dvi:	%.tex
+	$(LATEX) $*.tex && $(LATEX) $*.tex && $(LATEX) $*.tex
+
+%.ps:	%.dvi
+	dvips -T 210mm,297mm -o $*.ps $*.dvi 
+
+%.pdf:	%.ps
+	( echo "<< /AutoFilterColorImages false"; 	\
+	  echo "   /EncodeColorImages true"; 		\
+	  echo "   /DownsampleColorImages false"; 	\
+	  echo "   /ColorImageFilter /FlateEncode"; 	\
+	  echo ">> setdistillerparams" ) 		\
+	  | cat - $*.ps | ps2pdf -sPAPERSIZE=a4 - $*.pdf
+
+%.tif:	%.ps
+	gs -sDEVICE=tiffg3 -sPapersize=a4 -dNOPAUSE -q -sOutputFile=$*.tif $*.ps -c quit
+
+all: $(DOCUMENTS)
+
+clean:
+	rm -f *.bak *.lof *.log *.toc *.aux  WARNINGS
+
+dist-clean: clean
+	rm -f *.dvi *.pdf