src/Doc/System/Presentation.thy
changeset 67042 677cab7c2b85
parent 63680 6e1e8b5abbfa
child 67043 848672fcaee5
     1.1 --- a/src/Doc/System/Presentation.thy	Sat Nov 11 14:35:41 2017 +0100
     1.2 +++ b/src/Doc/System/Presentation.thy	Sat Nov 11 14:55:30 2017 +0100
     1.3 @@ -97,7 +97,6 @@
     1.4  \<open>Usage: isabelle mkroot [OPTIONS] [DIR]
     1.5  
     1.6    Options are:
     1.7 -    -d           enable document preparation
     1.8      -n NAME      alternative session name (default: DIR base name)
     1.9  
    1.10    Prepare session root DIR (default: current directory).\<close>}
    1.11 @@ -107,10 +106,9 @@
    1.12    sense that it does not overwrite existing files or directories. Earlier
    1.13    attempts to generate a session root need to be deleted manually.
    1.14  
    1.15 -  \<^medskip>
    1.16 -  Option \<^verbatim>\<open>-d\<close> indicates that the session shall be accompanied by a formal
    1.17 -  document, with \<open>DIR\<close>\<^verbatim>\<open>/document/root.tex\<close> as its {\LaTeX} entry point (see
    1.18 -  also \chref{ch:present}).
    1.19 +  The generated session template will be accompanied by a formal document,
    1.20 +  with \<open>DIR\<close>\<^verbatim>\<open>/document/root.tex\<close> as its {\LaTeX} entry point (see also
    1.21 +  \chref{ch:present}).
    1.22  
    1.23    Option \<^verbatim>\<open>-n\<close> allows to specify an alternative session name; otherwise the
    1.24    base name of the given directory is used.
    1.25 @@ -125,14 +123,13 @@
    1.26  subsubsection \<open>Examples\<close>
    1.27  
    1.28  text \<open>
    1.29 -  Produce session \<^verbatim>\<open>Test\<close> (with document preparation) within a separate
    1.30 -  directory of the same name:
    1.31 -  @{verbatim [display] \<open>isabelle mkroot -d Test && isabelle build -D Test\<close>}
    1.32 +  Produce session \<^verbatim>\<open>Test\<close> within a separate directory of the same name:
    1.33 +  @{verbatim [display] \<open>isabelle mkroot Test && isabelle build -D Test\<close>}
    1.34  
    1.35    \<^medskip>
    1.36    Upgrade the current directory into a session ROOT with document preparation,
    1.37    and build it:
    1.38 -  @{verbatim [display] \<open>isabelle mkroot -d && isabelle build -D .\<close>}
    1.39 +  @{verbatim [display] \<open>isabelle mkroot && isabelle build -D .\<close>}
    1.40  \<close>
    1.41  
    1.42