K 10
svn:author
V 3
mpp
K 8
svn:date
V 27
1996-02-08T18:27:07.000000Z
K 7
svn:log
V 105
Make sure that the --no-split flag gets passed to makeinfo.
Fixes PR # 1003 (gdb info files don't work).

END