[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making makeinfo --no-split the default?
From: |
Gerald Pfeifer |
Subject: |
Re: Making makeinfo --no-split the default? |
Date: |
Tue, 15 Apr 2003 18:18:45 +0200 (CEST) |
On Sun, 6 Apr 2003, Gerald Pfeifer wrote:
>> However, now that I'm writing this, we could achieve the same effect by
>> increasing the default split-size from 50,000. I think I'll do that for
>> the next release.
> Cool; nice "trick". ;-)
Hmm, I just noticed that using makeinfo --split-size=5000000 when building
the GCC manuals has the following effect:
% ls -l $GCC_SOURCE/gcc/doc/*info* | cut -c31-
3244 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/cpp.info
208620 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/cpp.info-1
49804 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/cppinternals.info
7558 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/gcc.info
1098664 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/gcc.info-1
2621 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/gccinstall.info
164339 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/gccinstall.info-1
6709 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/gccint.info
1163857 Apr 15 18:15 /sw/test/gcc/cvs/gcc/doc/gccint.info-1
I tried both with makeinfo 4.2 and 4.5, and both behaved the same, while
I would have expected makeinfo only to generate a single .info file in
this case, as it does with makeinfo --no-split.
Did I miss something obvious here (absolutely likely), is this a feature,
or is it a bug?
Gerald
--
Gerald "Jerry" address@hidden http://www.pfeifer.com/gerald/