From 3733c77caf3ceed67d1212e8c1934eac5c68003f Mon Sep 17 00:00:00 2001
From: cvs <cvs>
Date: Wed, 10 Jul 2002 11:19:09 +0000
Subject: [PATCH] Einbindung des POLDI-Manual, geaenderte Ausgabe (Drucker ->
 Postscript File)

---
 doc/user/Makefile | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/doc/user/Makefile b/doc/user/Makefile
index a30a5aea..8362973f 100644
--- a/doc/user/Makefile
+++ b/doc/user/Makefile
@@ -4,25 +4,30 @@
 # Mark Koennecke, Juli 1998
 #------------------------------------------------------------------------
 
-all: topsi dmc sans focus
+all: topsi dmc sans focus poldi
 
 topsi:
 	html2tex topman
 	latex topman
 	latex topman
-	dvips topman
+	dvips -o topman.ps topman.dvi
 dmc:
 	html2tex dmcman
 	latex dmcman
 	latex dmcman
-	dvips dmcman
+	dvips -o dmcman.ps dmcman.dvi
 sans:
 	html2tex sansman
 	latex sansman
 	latex sansman
-	dvips sansman
+	dvips -o sansman.ps sansman.dvi
 focus:
 	html2tex foman
 	latex foman
 	latex foman
-	dvips foman
+	dvips -o foman.ps foman.dvi
+poldi:
+	html2tex poldiman
+	latex poldiman
+	latex poldiman
+	dvips -o poldiman.ps poldiman.dvi
\ No newline at end of file