K 10
svn:author
V 3
max
K 8
svn:date
V 27
1997-06-16T11:49:17.000000Z
K 7
svn:log
V 114
Patch for Doc/Makefile.in to:
- Add --no-split to the makeinfo command line.
- Remove info files before makeinfo.

END