Boost logo

Boost-Build :

From: David Abrahams (david.abrahams_at_[hidden])
Date: 2002-09-16 09:15:40

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?

David Abrahams * Boost Consulting
dave_at_[hidden] *


Boost-Build list run by bdawes at, david.abrahams at, gregod at, cpdaniel at, john at