Re: [isabelle] Document preparation



On Tue, 14 Aug 2012, Saurabh Pradeeprao Sabnis wrote:

*** /root/Isabelle2011-1/lib/Tools/latex: line 75: pdflatex: command not found
*** Document preparation failure in directory '/root/.isabelle/Isabelle2011-1/browser_info/HOL/MySession/document'

Jasmin has already pointed to the missing pdflatex.

Moreover, you should not run things as "root", it is bad practice and changes the meaning of file-system permissions in very subtle ways. For example, Isabelle relies on the read-only mode of files in certain situations.


	Makarius





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