- From: Yves Lafon <ylafon@w3.org>
- Date: Thu, 14 Oct 1999 14:37:55 +0200 (MET DST)
- To: Roland Mainz <Roland.Mainz@informatik.med.uni-giessen.de>
- cc: W3 Jigsaw Mailinglist <www-jigsaw@w3.org>
On Tue, 12 Oct 1999, Roland Mainz wrote: > I still miss such a function within JigAdmin(2), e.g. a menu-item "Clean-up > files...". > A menu-item "Reindex current dir..." would also be nice - most times > recursive reindexing isn't wanted - try to reindex the JAVA 2 API JavaDocs, > and you'll notice what I mean =:-) -> TODO list :) However, the reindexing process may be recursive, if you have to reindex the containers for example... Of course a reindex that avoids Containers is possible. /\ - Yves Lafon - World Wide Web Consortium - /\ / \ Architecture Domain - Jigsaw Activity Leader / \ \/\ / \ / \ http://www.w3.org/People/Lafon - ylafon@w3.org
Received on Thursday, 14 October 1999 08:38:02 UTC