- 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