[isabelle-dev] Isabelle manuals as regular session documents

[Makarius]

On Thu, 30 Aug 2012, Lars Noschinski wrote:

> On 28.08.2012 19:17, Makarius wrote:
>> * The Admin tool "isabelle build_doc" helps to populate the doc/
>> directory on the spot, such that "isabelle doc" finds the results.
>
> One comment from a UI perspective: "isabelle build_doc" seems to do 
> something, then fails with
>
> cp: cannot stat `/tmp/isabelle-lars12015/*.dvi': No such file or directory
> cp: cannot stat `/tmp/isabelle-lars12015/*.pdf': No such file or directory
>
> Took me a while to discover, that I either need to give "-a" or at least one 
> session explicitly. Also, an option to list the available sessions would be 
> nice (same holds for "isabelle build")

See now Isabelle/88fe93ae61cf, which is another step to make the 
administrative tools approach the quality of the general distribution.


 	Makarius