Admin/Release/makedist
changeset 48790 6e739225dd8a
parent 48606 4b6c90e121b1
child 48972 196520d51afd
     1.1 --- a/Admin/Release/makedist	Mon Aug 13 20:31:24 2012 +0200
     1.2 +++ b/Admin/Release/makedist	Tue Aug 14 10:44:03 2012 +0200
     1.3 @@ -23,7 +23,6 @@
     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 @@ -47,16 +46,12 @@
    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 "Dj:r:" OPT
    1.20 +while getopts "j: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 @@ -152,9 +147,7 @@
    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 +cp -a doc-src doc-src.orig
    1.37  
    1.38  ./Admin/build all || fail "Failed to build distribution"
    1.39  
    1.40 @@ -174,9 +167,7 @@
    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 +mv doc-src.orig doc-src
    1.48  
    1.49  mkdir -p contrib
    1.50  cat >contrib/README <<EOF