"Niall Douglas" <s_sourceforge at nedprod.com> writes: > I hate to sound stupid, but is a doc patch like a GNU diff of the > documentation HTML? That's right. > If so, do I email it to you? Sure, as an attachment. Or post it here, as an attachment. -- Dave Abrahams Boost Consulting www.boost-consulting.com