W3C home > Mailing lists > Public > www-jigsaw@w3.org > September to October 1997

Re: adding an extension

From: Yves Lafon <ylafon@w3.org>
Date: Wed, 3 Sep 1997 16:33:01 +0200 (MET DST)
To: Hardeep Sharma <Hardeep.Sharma@digitivity.com>
cc: www-jigsaw@w3.org
Message-ID: <Pine.SOL.3.91.970903162436.4218A-100000@tarantula.inria.fr>
On Wed, 3 Sep 1997, Hardeep Sharma wrote:

> How do you add a new extension now that Admin/Extensions etc isn't
> there. And how do see the current list of extensions.

To add a new extension, you must add it in the indexer used in the 
directory where your resource is.
By default, it is the default indexer.
Use jigadm, and go to the indexer, default indexer, extension.
see
http://www.w3.org/Jigsaw/User/Administration/JigAdm.html
for more details (it is a small users guide).

      /\          - Yves Lafon - World Wide Web Consortium - 
  /\ /  \                Architecture Domain - Jigsaw
 /  \    \/\    
/    \   /  \   http://www.w3.org/People/Lafon - ylafon@w3.org    
Received on Wednesday, 3 September 1997 10:36:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:26 GMT