From: Vladimir Prus (ghost_at_[hidden])
Date: 2002-09-16 09:33:34
David Abrahams wrote:
> From: "Vladimir Prus" <ghost_at_[hidden]>
>>David Abrahams wrote:
>>>Wouldn't we need to use identical Tidy settings?
>>Yes. I suggest "-i -wrap 78", the same which are identified in the
>>beginning of the file. Tidy will flip its identification string, but
>>that's not an issue, IMO.
> I don't have a Tidy command-line tool. I just have a plugin for HTMLKit,
> which is not my primary editor.
> Do you know where I can get the tool?
For example, at
Scroll down till "Other builds" section.
Boost-Build list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk