W3C home > Mailing lists > Public > public-media-annotation@w3.org > December 2009

Mapping review

From: Joakim Söderberg <joakim.soderberg@ericsson.com>
Date: Tue, 1 Dec 2009 16:27:23 +0100
Message-ID: <4055256AED9D224D9442B19BF1C4C49004B1A675@esealmw118.eemea.ericsson.se>
To: <public-media-annotation@w3.org>
Dear all,
I remind the mapping-editors to review their mappings.

1) What is your format(s)?

2)Go to the reference table:

Edit your format as explained by Thierry below.


-----Original Message-----
From: public-media-annotation-request@w3.org [mailto:public-media-annotation-request@w3.org] On Behalf Of Thierry Michel
Sent: den 30 juni 2009 08:32
To: public-media-annotation@w3.org
Subject: Publishing on W3C Web site , using Jigedit, Amaya and Webdav.

Publishing on W3C Web site , using Jigedit, Amaya and Webdav.

1- Publishing on the W3C Web site with JigEdit

JigEdit is another way of editing W3C Web space. JigEdit is a Jigsaw server enhanced with CVS functionalities. With this tool you can use the CVS system through a form interface and therefore edit the W3C Web space in a safe way.
It provides authentication, so that W3C Collaborators can edit some restricted areas of the W3C Web space.

Please refer to the JigEdit Guide [1] for more details.

If you want to use JigEdit, let me know and I will request a Jigedit account for you.

Once you have a Jigedit Account you are ready to Publishing on W3C Web 
site doing the following:

2- Edit the W3C Web site using an HTML authoring tool using a PUT.

For example Amaya is a Web authoring tool [2] which supports PUT http 
Therefore is eases editing directly the W3C space.
I recommend using Amaya. However, if you want to use another authoring 
tool, review the default settings that do not apply to JigEdit.

3- Edit the W3C Web site using Webdav.
WebDAV [3] is an HTTP-based protocol that allows accessing the content 
of an HTTP server as a networked filesystems; to put it simply, it 
allows to edit directly a Web site as if it were an additional disk on 
your computer. Therefore you download a ressource on your local 
computer. Your edit it locally and then upload it on the Web

4- Finally once you have uploaded an HTML file on the W3C server, you 
MUST make sure the file validate the HTML validation tool, css tool and 

To do so,
Append one of these magic words to the end of any URI on www.w3.org for 
quick access to the tool:

* ,checklink or ,checklinks: runs Link Checker. Works on non-public 
pages too !
* ,validate: runs Validator on the URL. Works on non-public pages too !
* ,cssvalidate: runs CSS Validator on the URL.

5- Another tool used by W3C to manage changes to its Web site is CVS.
To edit the W3C Web site using a CVS client, you will need a CVS 
account, and to get a CVS account you will need an SSH key for 
authentication. For security reasons, write access to the Web site via 
CVS is conducted over secure SSH tunnels.

If you want to use CVS, let me know and I will request a CVS account for 

[1] http://www.w3.org/Guide/Jigedit/
[2] http://www.w3.org/AudioVideo/Group/Tool.html
[3] http://www.w3.org/Guide/Jigedit/Webdav


Received on Tuesday, 1 December 2009 15:28:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:17:36 UTC