1.1 --- a/Admin/Release/makedist	Mon Jul 30 15:31:00 2012 +0200
     1.2 +++ b/Admin/Release/makedist	Mon Jul 30 15:54:17 2012 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4  Usage: $PRG [OPTIONS] [VERSION]
     1.5  
     1.6    Options are:
     1.7 +    -D                 retain doc-src component
     1.8      -j JEDIT_BUILD     build Isabelle/jEdit via given jedit_build component
     1.9      -r RELEASE         proper release with name"
    1.10  
    1.11 @@ -46,12 +47,16 @@
    1.12  
    1.13  # options
    1.14  
    1.15 +RETAIN_DOC_SRC=""
    1.16  RELEASE=""
    1.17  ISABELLE_JEDIT_BUILD_HOME=""
    1.18  
    1.19 -while getopts "j:r:" OPT
    1.20 +while getopts "Dj:r:" OPT
    1.21  do
    1.22    case "$OPT" in
    1.23 +    D)
    1.24 +      RETAIN_DOC_SRC=true
    1.25 +      ;;
    1.26      j)
    1.27        ISABELLE_JEDIT_BUILD_HOME="$OPTARG"
    1.28        ;;
    1.29 @@ -147,6 +152,10 @@
    1.30  
    1.31  perl -pi -e 's/^(ISABELLE_SCALA_BUILD_OPTIONS=")/$1-optimise /,' etc/settings
    1.32  
    1.33 +if [ -n "$RETAIN_DOC_SRC" ]; then
    1.34 +  cp -a doc-src doc-src.orig
    1.35 +fi
    1.36 +
    1.37  ./Admin/build all || fail "Failed to build distribution"
    1.38  
    1.39  if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
    1.40 @@ -165,6 +174,10 @@
    1.41  rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf
    1.42  rm -rf doc-src
    1.43  
    1.44 +if [ -n "$RETAIN_DOC_SRC" ]; then
    1.45 +  mv doc-src.orig doc-src
    1.46 +fi
    1.47 +
    1.48  mkdir -p contrib
    1.49  cat >contrib/README <<EOF
    1.50  This directory contains add-on components that contribute to the main