Re: index support



> I think an index is a great idea. I don't quite understand the
> benefits of making things appear in two places. It seems to
> be making something that is huge, huger.
> If you have all the identifiers on a single web page, you
> can then use your web browsers search feature.
> Regards,
>                                    Owen

So would you agree with committing Noah's simplified index patch which puts
all symbols in a flat index ? 

(There seems to be a bug in the xsl stylesheets' generation of ids for index
autogeneration, but the generated links jump at least to the right
chunks...)

Matthias

-- 
+++ GMX - Mail, Messaging & more  http://www.gmx.net +++
Bitte lächeln! Fotogalerie online mit GMX ohne eigene Homepage!




[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]