[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Error Producing PDF Version

I try to run the PDF producer on the toolbox that I just downloaded, but I get the following error:

TLATeX unrecoverable error: Tring to run command `pdflatex DieHard.tex` produced  the following error- Cannot run program 'pdflatex' in directory /my/dir/DieHard.toolbox.
The system cannot find the file specified.

Is this because of a faulty installation on my part?
I read the other messages from 2013, which makes me wonder if I need to install Latex separately?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fa4262a3-8de8-4015-aed8-dae641d50014%40googlegroups.com.