# HG changeset patch
# User wenzelm
# Date 1344255596 -7200
# Node ID 335d60e1e32873d522e1de361e5206d0f1682022
# Parent  c1499b14b48c4de2772cadea8f01332363e5c5a5
discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);

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;;
diff -r c1499b14b48c -r 335d60e1e328 Admin/mira.py
--- a/Admin/mira.py	Mon Aug 06 11:59:09 2012 +0200
+++ b/Admin/mira.py	Mon Aug 06 14:19:56 2012 +0200
@@ -427,19 +427,4 @@
     (ZF, [0]),
     (HOL_Library, [0])
   ])
-def Documentation_images(*args):
-    """Isabelle images needed to build the documentation"""
-    return isabelle_dependency_only(*args)
 
-@configuration(repos = [Isabelle], deps = [(Documentation_images, [0])])
-def Documentation(env, case, paths, dep_paths, playground):
-    """Build of documentation"""
-    isabelle_home = paths[0]
-    dep_path = dep_paths[0]
-    prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path,
-      usedir_options = default_usedir_options)
-    (return_code, log) = env.run_process(path.join(isabelle_home, 'Admin', 'build', 'doc-src'))
-    return (return_code == 0, extract_isabelle_run_summary(log),
-      extract_report_data(isabelle_home, log), {'log': log}, None)
-
-