src/Doc/Codegen/document/build

--- a/src/Doc/Codegen/document/build	Sat Jul 27 21:10:18 2013 +0200
+++ b/src/Doc/Codegen/document/build	Sat Jul 27 21:21:47 2013 +0200
@@ -12,12 +12,5 @@
 cp "$ISABELLE_HOME/src/Doc/isar.sty" .
 cp "$ISABELLE_HOME/src/Doc/manual.bib" .
 
-for NAME in architecture adapt
-do
-  latex "$NAME"
-  $ISABELLE_DVIPS -E -o "$NAME.eps" "$NAME.dvi"
-  $ISABELLE_EPSTOPDF "$NAME.eps"
-done
-
 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"