K 10
svn:author
V 3
max
K 8
svn:date
V 27
1997-06-16T11:00:19.000000Z
K 7
svn:log
V 132
Use install-info to edit the dir file.

The (now old) master_site doesn&t have bash-1.14.7 anymore, but GNU sites do,
so update it.

END