Bug#792232: gawk-doc: documentation doesn't match gawk version

[gawk.bug@discard.email]

Package: gawk-doc
Version: 4.0.1+ds-1
Severity: important
 
The upstream version of gawk-doc in sid (4.0.1) doesn't match the
upstream version of the gawk package (4.1.1).