Re: [isabelle] Problems with LIPIcs and Isabelle document preparation



On 01/07/2019 21:03, Peter Lammich wrote:
>> I did not have bibtex in my test setup. How about this?
>>
>>   isabelle latex -o bbl root
> 
> Thanks, that worked. (I had already tried "-o bbl root.bib" 
> and "-o bbl root.bbl", but both did not work) 

That is all relative to the document output directory.

My formal change is now here:
https://bitbucket.org/makarius/lipics/commits/fc40b9405b96cf16f5b501b7f2f4dd7621ce4e71


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.