Re: RFS: ladr and prover9-manual (updated package)
On Oct 15, 2007 8:13 PM, Peter Collingbourne <pcc03@doc.ic.ac.uk> wrote:
> I am looking for a sponsor for my packages "ladr" and "prover9-manual"
> (I am packaging the documentation separately because upstream distributes
> it in a separate tarball).
a review of the ladr package:
you might want to use quilt or dpatch to manage your changes to the
upstream source code.
Don't forget to send manual pages and patches upstream.
move the homepage to a real field http://wiki.debian.org/HomepageFieldHOWTO
you recommend/suggest prover9-doc (= ${binary:Version}), but
prover9-doc isn't part of the same source package, so
${binary:Version} will never be correct.
configure debian/rules target isn't used, remove it
nice watch file :)
a review of the prover9-manual package:
hmm, #437944 is for prover9-doc, why the name change?
configure target not used, remove it
nice install method :)
move the homepage to a real field http://wiki.debian.org/HomepageFieldHOWTO
same issue with ${binary:Version}
documentation package description should describe itself rather than
--
bye,
pabs
http://wiki.debian.org/PaulWise
Reply to: