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

Reply via email to