On 23/03/18 10:29, Christian Sternagel wrote: > > Is there a way to get a more detailed report on why the last step, > "isabelle document ...", failed? > > Btw: I also get (sometimes more specific) errors for building other > documentation. > > Okay, turns out that I was missing the LaTeX packages > > nomencl, regexpatch, subfigure, supertabular > > on my system (Fedora 27). After installing those I still get some errors > (all with similar error message):
You can build all docs with detailed results like this: isabelle build -c -g doc -o document=pdf -o document_output=output For the purpose of the updated system manual, you can now download the nightly snapshot: https://isabelle.sketis.net/devel/release_snapshot Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev