---------- Forwarded message ---------- From: <[email protected]> Date: 2009/11/10 Subject: Re: [ProofPower] help To: [email protected]
You are not allowed to post to this mailing list, and your message has been automatically rejected. If you think that your messages are being rejected in error, contact the mailing list owner at [email protected]. ---------- Пересылаемое сообщение ---------- From: Igorj V <[email protected]> To: Roger Bishop Jones <[email protected]>, [email protected] Date: Tue, 10 Nov 2009 21:25:07 +0200 Subject: Re: [ProofPower] help thanks; still install failed ; log in attach; ig...@igorj-laptop:~/Desktop/OpenProofPower-2.8.1p2$ ./install OpenProofPower installation begins [Tue Nov 10 21:22:48 2009] ... Moving to build directory /home/igorj/Desktop/OpenProofPower-2.8.1p2/src Building pptex xpp hol zed See /home/igorj/Desktop/OpenProofPower-2.8.1p2/build.log for messages install: installation failed; see /home/igorj/Desktop/OpenProofPower-2.8.1p2/build.log for more details ig...@igorj-laptop:~/Desktop/OpenProofPower-2.8.1p2$ 2009/11/9 Roger Bishop Jones <[email protected]> > On Monday 09 November 2009 19:48:04 Igorj V wrote: > > > may be some one could explain me such error when installing proofpower?! > > > > troff: fatal error: can't find macro file s > > I had that problem, and the question has been asked and answered. > The answer is in the archive here: > > http://lemma-one.com/pipermail/proofpower_lemma-one.com/2009- > October/000576.html<http://lemma-one.com/pipermail/proofpower_lemma-one.com/2009-%0AOctober/000576.html> > > Roger Jones > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com >
build.log
Description: Binary data
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
