- From: Sandro Hawke <sandro@w3.org>
- Date: Wed, 08 May 2013 19:39:31 -0400
- 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