diff -r c1ca931b3647 -r 747835eb2782 src/Doc/IsarImplementation/document/build
--- a/src/Doc/IsarImplementation/document/build	Mon Sep 03 10:17:17 2012 +0200
+++ b/src/Doc/IsarImplementation/document/build	Mon Sep 03 11:09:25 2012 +0200
@@ -5,8 +5,7 @@
 FORMAT="$1"
 VARIANT="$2"
 
-"$ISABELLE_TOOL" logo -o isabelle_isar.pdf Isar
-"$ISABELLE_TOOL" logo -o isabelle_isar.eps Isar
+"$ISABELLE_TOOL" logo Isar
 
 cp "$ISABELLE_HOME/src/Doc/iman.sty" .
 cp "$ISABELLE_HOME/src/Doc/extra.sty" .