On Mon, Jun 25, 2012 at 02:34:34PM +0100, José Pedro Magalhães wrote: > > (Btw, validate goes through. Does validate not build the user's guide?) It only builds it if the tools are available. I think that's mainly because they're a bit fiddly to install on Windows. Thanks Ian