[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index
From: |
Karl Berry |
Subject: |
Re: [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index |
Date: |
Wed, 28 Oct 2009 18:46:03 -0500 |
Hi Harry,
But emacs finds the index in all the other manuals I looked at.
bash, tar, emacs, date... etc.
That's what bugs are all about :). They happen in some cases and not
others.
And if I open cvs.info with emacs using C-u C-h i filename
pressing `i' (index) works with this info file.
Ok, so that info file is ok. It doesn't prove anything one way or
another about the Emacs failure on the other info file.
Only three info files for cvs are generated.
The tarball comes with 10 info files for cvs generated in
2005. Something seems off here...
Not necessarily. It could simply be a difference in the default
--split-size for generating .info files, which in fact did change since
2005, as I recall.
I'm sorry to interrupt your day.
Not to worry.
Maybe we could take this up when you have more time?
I will never have more time :). I always want to track these things
down.
I mean unless you are really convinced it is absolutely an emacs
bug.
I'm never absolutely certain of anything. How about this: send me a
tar.gz with the actual cvs.info* files which fail with your Emacs, and
tell me what version of Emacs you are using (M-x emacs-version). Then
I'll see if I can reproduce it.
Best,
Karl
- [help-texinfo] Gentoo Linux some `Info' manuals missing index, Harry Putnam, 2009/10/27
- Re: [help-texinfo] Gentoo Linux some `Info' manuals missing index, Karl Berry, 2009/10/27
- [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Harry Putnam, 2009/10/28
- Re: [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Karl Berry, 2009/10/28
- [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Harry Putnam, 2009/10/28
- Re: [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Karl Berry, 2009/10/28
- [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Harry Putnam, 2009/10/28
- Re: [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index,
Karl Berry <=
- [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Harry Putnam, 2009/10/28
- Re: [help-texinfo] Re: Gentoo Linux some `Info' manuals missing index, Karl Berry, 2009/10/31
Re: [help-texinfo] Gentoo Linux some `Info' manuals missing index, Karl Berry, 2009/10/27