[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Web manual out-dated?
|
From: |
Karl Berry |
|
Subject: |
Re: Web manual out-dated? |
|
Date: |
Thu, 20 Nov 2008 18:05:02 -0600 |
One minor problem seems to be that the 'index' documentation is included
in the top-level index file too, see bottom of:
http://www.gnu.org/software/gnulib/manual/html_node/index.html
Is this a texinfo bug? I'm using texinfo 4.13.
It's not a bug, it's an ugly feature :(.
Regarding case-insensitive filesystems and all that.
karl