# HG changeset patch
# User deba
# Date 1190817468 0
# Node ID 1e9cc7b2eabc242dff0b1a073736dc9c5f08ec01
# Parent  e6368948d5f76ebaf5eb1713520a282b08f3a6f1
Generate tools documentation

diff -r e6368948d5f7 -r 1e9cc7b2eabc doc/Doxyfile.in
--- a/doc/Doxyfile.in	Wed Sep 19 23:35:27 2007 +0000
+++ b/doc/Doxyfile.in	Wed Sep 26 14:37:48 2007 +0000
@@ -455,6 +455,7 @@
                          @abs_top_srcdir@/lemon/bits \
                          @abs_top_srcdir@/lemon/concepts \
                          @abs_top_srcdir@/demo \
+                         @abs_top_srcdir@/tools \
                          @abs_top_srcdir@/test/test_tools.h
 
 # If the value of the INPUT tag contains directories, you can use the