diff -r 493d61afa731 -r a6cb18a25cbb doc-src/TutorialI/OverviewMakefile
--- a/doc-src/TutorialI/OverviewMakefile	Fri Jun 21 15:41:07 2002 +0200
+++ b/doc-src/TutorialI/OverviewMakefile	Fri Jun 21 18:40:06 2002 +0200
@@ -1,4 +1,3 @@
-
 ## targets
 
 default: Overview
@@ -13,7 +12,7 @@
 SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -i true -d dvi -D document
+USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
 
 
 ## Overview