Admin/Release/makedist

   cat <<EOF
 
 Usage: $PRG [OPTIONS] [VERSION]
 
   Options are:
+    -D                 retain doc-src component
     -j JEDIT_BUILD     build Isabelle/jEdit via given jedit_build component
     -r RELEASE         proper release with name"
 
   Make Isabelle distribution from the main Mercurial repository at TUM.
 

 
 ## process command line
 
 # options
 
+RETAIN_DOC_SRC=""
 RELEASE=""
 ISABELLE_JEDIT_BUILD_HOME=""
 
-while getopts "j:r:" OPT
+while getopts "Dj:r:" OPT
 do
   case "$OPT" in
+    D)
+      RETAIN_DOC_SRC=true
+      ;;
     j)
       ISABELLE_JEDIT_BUILD_HOME="$OPTARG"
       ;;
     r)
       RELEASE="$OPTARG"

 find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -perm +111 -print | xargs chmod -f -x
 find . -print | xargs chmod -f u+rw
 
 perl -pi -e 's/^(ISABELLE_SCALA_BUILD_OPTIONS=")/$1-optimise /,' etc/settings
 
+if [ -n "$RETAIN_DOC_SRC" ]; then
+  cp -a doc-src doc-src.orig
+fi
+
 ./Admin/build all || fail "Failed to build distribution"
 
 if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
   [ -d "$ISABELLE_JEDIT_BUILD_HOME" ] || fail "Bad jedit_build component directory: \"$ISABELLE_JEDIT_BUILD_HOME\""
   eval "$(fgrep ISABELLE_JEDIT_BUILD_VERSION "$ISABELLE_JEDIT_BUILD_HOME/etc/settings")"

 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
+
+if [ -n "$RETAIN_DOC_SRC" ]; then
+  mv doc-src.orig doc-src
+fi
 
 mkdir -p contrib
 cat >contrib/README <<EOF
 This directory contains add-on components that contribute to the main
 Isabelle distribution.  Separate licensing conditions apply, see each