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