I am installing the latest version of OpenProofPower in Debian.
When I run ./configure, I get a message saying that tex and latex is not
I know latex is installed (although not in the normal directory). I put the
of latex in PATH, but still no dice. I can run latex from the command line
with no problems.
Is there a requirement that latex be in a certain directory? Or any
environment variables other
than PATH that should be updated?
One other minor comment: when trying to extract the tgz file, I get
message saying the file is not in a valid
zip format! If I use tar without the z option, it works ok.
Proofpower mailing list