[HEADSUP] Merging back the xml-tools branch

[Warren Block]

On Fri, 17 May 2013, Gabor Kovesdan wrote:

> Em 16-05-2013 12:57, Gabor Kovesdan escreveu:
>> I'll be merging back the XML toolchain changes to head tomorrow around 6pm 
>> GTM. I'll temporarily lock head to avoid conflicting changes at the same 
>> time and head will be reopen very soon after the merge is complete. At the 
>> same time, the textproc/docproj port will be updated accordingly.
> The merge is completed, Glen and I will be watching if everything went fine. 
> You can continue working on documentation now, head is now open and make lint 
> works again. Please run it before committing. If make lint passes, the build 
> must succeed as well.

Worked for me last night.  Doing a 'make book.html' of the Handbook 
still ran tidy; wasn't that supposed to go away?