Mike Pritchard e2e7e7042b Make sure that the --no-split flag gets passed to makeinfo.
Fixes PR # 1003 (gdb info files don't work).
1996-02-08 18:27:07 +00:00
..
1996-01-31 13:53:01 +00:00
1995-11-03 14:51:45 +00:00
1996-01-31 13:53:01 +00:00
1995-12-01 20:13:42 +00:00
1996-01-25 16:29:41 +00:00
1995-12-30 19:02:48 +00:00
1995-09-30 15:33:08 +00:00
1994-05-30 19:09:18 +00:00