[isabelle-dev] Bad documentation directory

Lars Hupel hupel at in.tum.de
Mon Feb 12 10:52:19 CET 2018

When I clone a fresh copy of Isabelle, or run "hg clean --all", then
"isabelle build" fails with the following error message:

*** Bad documentation directory:

That directory is not present by default and appears to be only created
by "isabelle jedit". A workaround is to always run "isabelle jedit -bf"
before running "isabelle build".

More information about the isabelle-dev mailing list