Magnus,
> The pages are all linked autoamtically from the menu on the parent page, so
> there should be no need to create a separate index for *that* reason. If
> there are other reasons, it could still be done of course :-P
Apparently not. There are several existing pages which aren't linked. My
guess is that this index stopped building some time ago.
--
Josh Berkus
PostgreSQL @ Sun
San Francisco
