Mail Archives: djgpp-workers/2003/02/05/01:40:07
On Tue, 4 Feb 2003, Charles Sandmann wrote:
> $(INFO)/dir : $(INFO)/dir.txi
> makeinfo --no-split -o $(INFO)/dir $(INFO)/dir.txi
Alternatively, don't maintain dir.txi at all, but instead generate
info/dir directly by running install-info on all the Info files.
I'm not sure what's better: we had a discussion a few months ago where
the conclusion was we want to have a specific order of menu items in
info/dir, which is hard to achieve with install-info.
This reminds me: I think we should make sure our *.texi/*.tex/*.txi
source files have proper @dircategory and @direntry directives in them,
even if we don't use install-info (because some user could wish to do
- Raw text -