K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2017-04-02T15:04:26.330179Z
K 7
svn:log
V 202
MFC: r315086 (by jhb)

Fix removal of /usr/share/info.

- The GNU as manual is named as.info.gz.
- Remove the generated /usr/share/info/dir file.

Reported by:	"Herbert J. Skuhra" <herbert@mailbox.org>

END