Re: [jamboost] Re: [Boost-build] CVS: boost/tools/build boost_build_v2.html,1.10,1.11

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] * http://www.boost-consulting.com