Wed, 08 Jun 2005 16:12:29 +0000 klao Make target "docs" renamed to "doc"
Wed, 08 Jun 2005 15:40:54 +0000 klao Bugfix: make doc didn't work in external builddir.
Wed, 08 Jun 2005 12:35:18 +0000 klao * Doc generation restructuring: don't remove the whole html/