diff -r df6a32249b46 -r 8450951a8e2d doc/dirs.dox
--- a/doc/dirs.dox	Sat Mar 03 12:05:05 2007 +0000
+++ b/doc/dirs.dox	Sat Mar 03 16:04:50 2007 +0000
@@ -21,6 +21,13 @@
 of the code.
 */
 
+/**
+\dir tools
+\brief Some useful executables
+
+This directory contains the sources of some useful complete executables.
+
+*/