On Fri, Jan 18, 2008 at 09:02:02PM +0100, David Bremner wrote: > 1) lintian will now complain about standards version 3.7.2 as being > old Fixed. > > 2) I didn't really understand why you use > cp -a bin/* debian/tmp/usr/bin > > instead of dh_install or something. The packages now copy their binaries directly from bin using dh_install. > > libtool --mode=install cp -a ladr/libladr.la `pwd`/debian/tmp/usr/lib > > also struck me as being a pretty opaque way to install a library. > Your milage may vary. I did this because libtool needs to copy the library to the installation directory itself in the correct (platform-specific) way. Note that most packages that install libraries using upstream's makefile would do exactly the same thing. > > 3) Your man pages could be improved. I guess you know that, since at > least you have stubs. You might find the script help2man helpful, > Something like > help2man -h-help rewriter > rewriter.1 > gets you a file that requires only light editing. I now have man pages for 7 more of the more commonly used apps. > > 4) I think some simple examples in /usr/share/doc would be motivating > for someone trying the package out (in particular sponsors). There's already an example for prover9 and two for mace4 in /usr/share/doc/{prover9,mace4}/examples from the source package in {prover9,mace4}.examples . Thanks, -- Peter
Attachment:
signature.asc
Description: Digital signature