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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
