[boost] Re: Printing documents from boost?