Wed, 08 Jun 2005 16:12:29 +0000Make target "docs" renamed to "doc"
klao [Wed, 08 Jun 2005 16:12:29 +0000] rev 1452
Make target "docs" renamed to "doc"