1.1 --- a/doc/dirs.dox	Sat Mar 03 12:05:05 2007 +0000
     1.2 +++ b/doc/dirs.dox	Sat Mar 03 16:04:50 2007 +0000
     1.3 @@ -21,6 +21,13 @@
     1.4  of the code.
     1.5  */
     1.6  
     1.7 +/**
     1.8 +\dir tools
     1.9 +\brief Some useful executables
    1.10 +
    1.11 +This directory contains the sources of some useful complete executables.
    1.12 +
    1.13 +*/
    1.14  
    1.15  
    1.16