K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2014-06-26T13:34:02.743336Z
K 7
svn:log
V 55
Add a minimal tool to regenerate GNU info page indexes

END