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
alpar [Tue, 07 Jun 2005 16:13:21 +0000] rev 1449
Modify kruskal to work correctly with UndirGraphs.