Admin/build
changeset 48691 335d60e1e328
parent 48498 62f183129ae6
child 48972 196520d51afd
     1.1 --- a/Admin/build	Mon Aug 06 11:59:09 2012 +0200
     1.2 +++ b/Admin/build	Mon Aug 06 14:19:56 2012 +0200
     1.3 @@ -23,10 +23,9 @@
     1.4    Produce Isabelle distribution modules from current repository sources.
     1.5    The MODULES list may contain any of the following:
     1.6  
     1.7 -    all             all modules below *except* doc-src
     1.8 +    all             all modules below
     1.9      browser         graph browser (requires jdk)
    1.10      doc             documentation (requires latex)
    1.11 -    doc-src         documentation sources from Isabelle theories
    1.12      jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
    1.13      jars_test       test separate build of jars
    1.14      jars_fresh      fresh build of jars
    1.15 @@ -84,25 +83,6 @@
    1.16  }
    1.17  
    1.18  
    1.19 -function build_doc-src ()
    1.20 -{
    1.21 -  echo "###"
    1.22 -  echo "### Building documentation sources..."
    1.23 -  echo "###"
    1.24 -
    1.25 -  cd "$ISABELLE_HOME/doc-src"
    1.26 -  for DOC in $(cat Dirs)
    1.27 -  do
    1.28 -    pushd "$DOC" >/dev/null
    1.29 -    if [[ -f "IsaMakefile" ]]
    1.30 -    then
    1.31 -      "$ISABELLE_TOOL" make || exit $?
    1.32 -    fi
    1.33 -    popd >/dev/null
    1.34 -  done
    1.35 -}
    1.36 -
    1.37 -
    1.38  function build_jars ()
    1.39  {
    1.40    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.41 @@ -119,7 +99,6 @@
    1.42      all) build_all;;
    1.43      browser) build_browser;;
    1.44      doc) build_doc;;
    1.45 -    doc-src) build_doc-src;;
    1.46      jars) build_jars;;
    1.47      jars_fresh) build_jars -f;;
    1.48      jars_test) build_jars -t;;