On Oct 15, 2007 8:13 PM, Peter Collingbourne <[EMAIL PROTECTED]> 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


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to