Bug#821059: gawk: Please don't ship development man pages in the main package.

2016-11-20 Thread Colin Watson
On Sat, Sep 24, 2016 at 03:33:16PM +0200, gawk.user@discard.email wrote: > I filed https://bugs.debian.org/838759 against man-db in relation to this > issue. > I recomend closing this bug if & when 838759 is fixed. I uploaded a fix for that this evening, so you can probably go ahead and close thi

Bug#821059: gawk: Please don't ship development man pages in the main package.

2016-09-24 Thread gawk.user@discard.email
I filed https://bugs.debian.org/838759 against man-db in relation to this issue. I recomend closing this bug if & when 838759 is fixed.

Bug#821059: gawk: Please don't ship development man pages in the main package.

2016-09-24 Thread gawk.user@discard.email
gawk installs all manpages except those for the gawk and igawk binaries into the 3am section.   You just need to configure the SECTION option in /etc/manpath.config to give this section a lower precedence, e.g.   SECTION 1 n l 8 3 2 3posix 3pm 3perl 3am 5 4 9 6 7   (alternatively, set the MANSECT e

Bug#821059: gawk: Please don't ship development man pages in the main package.

2016-04-14 Thread Ben Longbons
Package: gawk Version: 1:4.1.3+dfsg-0.1 Severity: normal Dear Maintainer, There are a lot of reasons to have an awk interpreter. That doesn't mean I want documentation of awk functions interfering with ordinary use of man. It's bad enough that there are a few pages that collide between sections