[isabelle-dev] Bad documentation directory
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