Synopsis: Makefile in doc/ is gmake-specific. State-Changed-From-To: open->closed State-Changed-By: brendan State-Changed-When: Fri, 20 Jan 2006 21:43:19 +0100 State-Changed-Why: Thanks, but this was already fixed in CVS. **** Comment added by brendan on Fri, 20 Jan 2006 21:43:19 +0100 ****