Dear Makarius, I don't see a significant difference in output between my original
isabelle build_doc system where I get ... isabelle document -d /tmp/isabelle-griff/document_output1585848392449927242/system -o pdf -n system *** Failed to build document in "/tmp/isabelle-griff/document_output1585848392449927242/system" and the suggested isabelle build -c -b System -o document=pdf -o document_output=output where I get ... isabelle document -d output/system -o pdf -n system *** Failed to build document in "/home/griff/repos/tools/isabelle/src/Doc/System/output/system" I am still unclear on why "isabelle document" fails in both cases. cheers chris PS: Anyway, I can get the manual from the URL you provided. Thanks! On 03/23/2018 11:51 AM, Makarius wrote: > 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