Re: Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-23 Thread Petr Pudlak (Debian)
OK, I see that I have underestimated the task of creating a good man page. This is my first Debian package, so please be patient with me. The tools you recommend look very promising, and rst2man suggested by Ben Finney too. Just let me explain why it's difficult to create a good manual for epro

Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-22 Thread Ben Finney
Ruben Molina writes: > El dom, 22-02-2009 a las 11:42 +0100, Petr Pudlak (Debian) escribió: > > Only man pages are a problem, the programs have a lot of options > > and I don't want just to manually duplicate 'eprover --help' etc. > > listings in a man page every time something changes. > > > ch

Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-22 Thread Neil Williams
On Sun, 22 Feb 2009 09:31:59 -0500 Ruben Molina wrote: > > thanks for valuable feedback. I worked on it a bit more and now it > > seems that everything is resolved and lintian is happy. Only man pages > > are a problem, the programs have a lot of options and I don't want > > just to manually dupl

Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-22 Thread Ruben Molina
El dom, 22-02-2009 a las 11:42 +0100, Petr Pudlak (Debian) escribió: > On Saturday 21 February 2009 22:14:26 you wrote: > > El sáb, 21-02-2009 a las 13:01 +0100, Petr Pudlak (Debian) escribió: > > > I created a package for The Equational Theorem Prover "E" and I'm > > > looking for a sponsor that w