K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2017-03-11T19:59:31.680809Z
K 7
svn:log
V 123
Fix removal of /usr/share/info.

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

END