update on "isabelle build" and "isabelle build_doc";
authorwenzelm
Tue Aug 28 19:02:41 2012 +0200 (2012-08-28)
changeset 48986037d32448e29
parent 48985 5386df44a037
child 48987 ffb4f2b9b1d3
update on "isabelle build" and "isabelle build_doc";
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Tue Aug 28 18:57:32 2012 +0200
     1.2 +++ b/README_REPOSITORY	Tue Aug 28 19:02:41 2012 +0200
     1.3 @@ -233,13 +233,11 @@
     1.4  Building a repository version of Isabelle
     1.5  -----------------------------------------
     1.6  
     1.7 -The regular "isabelle build" tool allows to build session images as
     1.8 -usual, but this first requires to resolve add-on components first,
     1.9 -including the ML system.  Some extra configuration is required to
    1.10 -approximate some of the system integration of official Isabelle
    1.11 -releases from a bare-bones repository snapshot.  The special directory
    1.12 -Admin/ -- which is absent in official releases -- might provide some
    1.13 -further clues.
    1.14 +This first requires to resolve add-on components first, including the
    1.15 +ML system.  Some extra configuration is required to approximate some
    1.16 +of the system integration of official Isabelle releases from a
    1.17 +bare-bones repository snapshot.  The special directory Admin/ -- which
    1.18 +is absent in official releases -- might provide some further clues.
    1.19  
    1.20  Here is a reasonably easy way to include important Isabelle components
    1.21  on the spot:
    1.22 @@ -264,3 +262,10 @@
    1.23  are subject to the Mercurial history, it is possible to bisect over a
    1.24  range of Isabelle versions while references to the contributing
    1.25  components change accordingly.
    1.26 +
    1.27 +The Isabelle build process is managed as follows:
    1.28 +
    1.29 +  * regular "isabelle build" to build session images, e.g. HOL;
    1.30 +
    1.31 +  * administrative "isabelle build_doc" to populate the doc/
    1.32 +    directory, such that "isabelle doc" will find the results.