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 found.
I know latex is installed (although not in the normal directory). I put the location 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. -Dave
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
