[isabelle-dev] NEWS: Isabelle server

[Christian Sternagel]

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
>