doc-src/Codegen/document/build

--- a/doc-src/Codegen/document/build	Mon Aug 27 23:10:54 2012 +0200
+++ b/doc-src/Codegen/document/build	Mon Aug 27 23:29:45 2012 +0200
@@ -14,7 +14,7 @@
 cp "$ISABELLE_HOME/doc-src/proof.sty" .
 cp "$ISABELLE_HOME/doc-src/manual.bib" .
 
-for NAME in architecture adaptation
+for NAME in architecture adapt
 do
   latex "$NAME"
   $ISABELLE_DVIPS -E -o "$NAME.eps" "$NAME.dvi"