On 17/08/12 15:12, Phil Clayton wrote:
Also, I encountered some confusing behaviour in that if PPRCSDIR is
relative, it must be relative to PPDEVHOME, not the current directory,
so I updated the comment.

I failed to read the notes below where that was documented. But I think it's relative to $PPDEVHOME rather than $PPDEVHOME/pp .

Phil


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to