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

[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.