glossary diff

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