[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making makeinfo --no-split the default?
From: |
Karl Berry |
Subject: |
Re: Making makeinfo --no-split the default? |
Date: |
Wed, 16 Apr 2003 12:24:43 -0400 |
Hi Gerald,
I would have expected makeinfo only to generate a single .info file in
this case, as it does with makeinfo --no-split.
That's what I would have expected too.
Did I miss something obvious here (absolutely likely), is this a feature,
or is it a bug?
I wouldn't call it a feature. On the other hand it's not
exactly a bug, since I don't think the documentation promises anything
in particular either way :).
In any case, I'll see if I can change the behavior, whatever we want to
label it :).
Thanks for the report.
karl