diff -r c1499b14b48c -r 335d60e1e328 Admin/build
--- a/Admin/build	Mon Aug 06 11:59:09 2012 +0200
+++ b/Admin/build	Mon Aug 06 14:19:56 2012 +0200
@@ -23,10 +23,9 @@
   Produce Isabelle distribution modules from current repository sources.
   The MODULES list may contain any of the following:
 
-    all             all modules below *except* doc-src
+    all             all modules below
     browser         graph browser (requires jdk)
     doc             documentation (requires latex)
-    doc-src         documentation sources from Isabelle theories
     jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     jars_test       test separate build of jars
     jars_fresh      fresh build of jars
@@ -84,25 +83,6 @@
 }
 
 
-function build_doc-src ()
-{
-  echo "###"
-  echo "### Building documentation sources..."
-  echo "###"
-
-  cd "$ISABELLE_HOME/doc-src"
-  for DOC in $(cat Dirs)
-  do
-    pushd "$DOC" >/dev/null
-    if [[ -f "IsaMakefile" ]]
-    then
-      "$ISABELLE_TOOL" make || exit $?
-    fi
-    popd >/dev/null
-  done
-}
-
-
 function build_jars ()
 {
   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
@@ -119,7 +99,6 @@
     all) build_all;;
     browser) build_browser;;
     doc) build_doc;;
-    doc-src) build_doc-src;;
     jars) build_jars;;
     jars_fresh) build_jars -f;;
     jars_test) build_jars -t;;