diff -r 5eff42e69edb -r 612a04e7c853 src/Doc/IsarRef/document/build
--- a/src/Doc/IsarRef/document/build	Wed Sep 12 11:14:44 2012 +0200
+++ b/src/Doc/IsarRef/document/build	Wed Sep 12 11:28:34 2012 +0200
@@ -11,7 +11,6 @@
 cp "$ISABELLE_HOME/src/Doc/extra.sty" .
 cp "$ISABELLE_HOME/src/Doc/isar.sty" .
 cp "$ISABELLE_HOME/src/Doc/ttbox.sty" .
-cp "$ISABELLE_HOME/src/Doc/isar.sty" .
 cp "$ISABELLE_HOME/src/Doc/underscore.sty" .
 cp "$ISABELLE_HOME/src/Doc/manual.bib" .