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

[Ben Finney <ben+debian@benfinney.id.au>]

Ruben Molina <rmolina@udea.edu.co> 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.
> > 
> check help2man :)

Which gives a starting point, but isn't (AFAIK) meant to result in an
immediately Debian-worthy manpage. That is, further editing is
required.

> I really think is better if you prepare a proper manpage, and
> forward it to upstream... but people on mentors (CC'ing) can offer
> you other/better options...

I have packaged ‘rst2man’, a tool for rendering a reStructuredText
document to a manpage. It is now in Debian ‘unstable’ and ‘testing’.
If you are comfortable with reStructuredText please try it out and
submit bug reports.

-- 
 \       “To have the choice between proprietary software packages, is |
  `\      being able to choose your master. Freedom means not having a |
_o__)                        master.” —Richard M. Stallman, 2007-05-16 |
Ben Finney