On Tue, 2 Jun 2009, Jonathan H N Chin wrote:
However, I agree that it makes little sense to retain it in the
debian manpage. I guess something like this sed line added after
the first one is probably all that you'll need in debian/rules
to remove it:
sed -i '/^=head1 INSTALLATION/,/^=head1 /{/^=head1 /p;d;}' $(pkg)
OK, fine for me.
Thanks for your quick response
Andreas.
--
http://fam-tille.de
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
