add ext to documentation

diff --git a/doc/devel.cfg b/doc/devel.cfg
index 0df0ae6b894f5b7f315db036de229f76b39af68f..d12892a829bb6d959cf670f587e9225541e501ff 100644 (file)
--- a/doc/devel.cfg
+++ b/doc/devel.cfg
@@ -362,7 +362,7 @@ WARN_LOGFILE           =
 # with spaces.
 
 #INPUT                  = src examples
-INPUT                  = ../src
+INPUT                  = ../src ../ext
 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp