--- a/README_REPOSITORY Tue Aug 28 18:57:32 2012 +0200
+++ b/README_REPOSITORY Tue Aug 28 19:02:41 2012 +0200
@@ -233,13 +233,11 @@
Building a repository version of Isabelle
-----------------------------------------
-The regular "isabelle build" tool allows to build session images as
-usual, but this first requires to resolve add-on components first,
-including the ML system. Some extra configuration is required to
-approximate some of the system integration of official Isabelle
-releases from a bare-bones repository snapshot. The special directory
-Admin/ -- which is absent in official releases -- might provide some
-further clues.
+This first requires to resolve add-on components first, including the
+ML system. Some extra configuration is required to approximate some
+of the system integration of official Isabelle releases from a
+bare-bones repository snapshot. The special directory Admin/ -- which
+is absent in official releases -- might provide some further clues.
Here is a reasonably easy way to include important Isabelle components
on the spot:
@@ -264,3 +262,10 @@
are subject to the Mercurial history, it is possible to bisect over a
range of Isabelle versions while references to the contributing
components change accordingly.
+
+The Isabelle build process is managed as follows:
+
+ * regular "isabelle build" to build session images, e.g. HOL;
+
+ * administrative "isabelle build_doc" to populate the doc/
+ directory, such that "isabelle doc" will find the results.