--- a/Admin/Release/makedist Tue Aug 28 16:43:47 2012 +0200
+++ b/Admin/Release/makedist Tue Aug 28 17:49:02 2012 +0200
@@ -147,9 +147,10 @@
perl -pi -e 's/^(ISABELLE_SCALA_BUILD_OPTIONS=")/$1-optimise /,' etc/settings
-cp -a doc-src doc-src.orig
+./Admin/build all || fail "Failed to build distribution"
-./Admin/build all || fail "Failed to build distribution"
+cp -a doc-src doc-src.orig
+./bin/isabelle build_doc -a || fail "Failed to build documentation"
if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
[ -d "$ISABELLE_JEDIT_BUILD_HOME" ] || fail "Bad jedit_build component directory: \"$ISABELLE_JEDIT_BUILD_HOME\""
@@ -160,11 +161,6 @@
fi
rm -rf Admin
-
-MOVE=$(find doc-src \( -type f -a -not -type l -a -not -name isabelle_isar.pdf -a -not -name pghead.pdf -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')
-mv -f $MOVE doc
-rm doc/Isa-logics.eps
-rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf
rm -rf doc-src
mv doc-src.orig doc-src