25 Jun
2012
25 Jun
'12
1:27 p.m.
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