From: David Abrahams (dave_at_[hidden])
Date: 2007-11-02 22:12:27
on Fri Nov 02 2007, Beman Dawes <bdawes-AT-acm.org> wrote:
> Are the doc/html/... files actually a concern?
Depends whether someone is going to regenerate all of them or not, I
guess.
-- Dave Abrahams Boost Consulting http://www.boost-consulting.com