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
before and after the replacement, it is the same. Looks like that the
file is not even readed by the script, or, the changes are not enough to fix
the problem.


Artur Oliveira Gomes
Proofpower mailing list

Reply via email to