W3C home > Mailing lists > Public > public-gld-wg@w3.org > May 2013

glossary diff

From: Sandro Hawke <sandro@w3.org>
Date: Wed, 08 May 2013 19:39:31 -0400
Message-ID: <518AE233.5080501@w3.org>
To: Public GLD WG <public-gld-wg@w3.org>
Quite a lot of changes, really:

https://dvcs.w3.org/hg/gld/raw-file/default/glossary/diff.apr11-may7.nonrespec.html

That shows the changes since the version we approved.

More details:

wget -O apr11 
https://dvcs.w3.org/hg/gld/raw-file/5ac9cc45d40a/glossary/index.html

wget -O may7 
https://dvcs.w3.org/hg/gld/raw-file/757ab56f1e1d/glossary/index.html

(the may7 one is also
wget -O latest 
https://dvcs.w3.org/hg/gld/raw-file/default/glossary/index.html
) as I write this.

I converted them into post-respec form before running the diff.  I found 
a way to do this from the command line, btw:
phantomjs /home/sandro/local/respec/tools/respec2html.js index.html 
current-nonrespec.html
... then used Bert Bos' diff.

      -- Sandro
Received on Wednesday, 8 May 2013 23:39:42 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:13:25 UTC