Rob, This strongly suggests that you are somehow picking up an earlier version of > the pp script. You are using the "./configure; ./install" sequence to run > the > installation aren't you? If so, you could try the replacement for > src/zed.mkf > that I have attached. Please compare it with what the file src/zed.mkf that > you already have, the only difference is that this one calls "./pp" rather > than "pp" - but that shouldn't be necessary because install puts the src > directory at the top of the search path.
It continues outputing the same things than before. I have compared the output before and after the replacement, it is the same. Looks like that the replaced file is not even readed by the script, or, the changes are not enough to fix the problem. Regards, Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
