1.1 --- a/Admin/build Wed Mar 14 15:54:27 2012 +0100
1.2 +++ b/Admin/build Wed Mar 14 15:54:54 2012 +0100
1.3 @@ -23,9 +23,10 @@
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
1.8 + all all modules below *except* doc-src
1.9 browser graph browser (requires jdk)
1.10 doc documentation (requires latex and rail)
1.11 + doc-src documentation sources from Isabelle theories
1.12 jars Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
1.13 jars_fresh fresh build of jars
1.14
1.15 @@ -82,6 +83,25 @@
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 @@ -98,6 +118,7 @@
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 *) fail "Bad module $MODULE"