force doxygen to use of /usr/bin/dot so that it doesn't pick up development versions

diff --git a/Doxyfile.in b/Doxyfile.in
index cbb07397c841c450753afca2b00077c6648b4d21..7976fe5e72042c174772f1ff48850a504ce2bda9 100644 (file)
--- a/Doxyfile.in
+++ b/Doxyfile.in
@@ -1113,7 +1113,7 @@ DOT_IMAGE_FORMAT       = png
 # The tag DOT_PATH can be used to specify the path where the dot tool can be 
 # found. If left blank, it is assumed the dot tool can be found on the path.
 
-DOT_PATH               =
+DOT_PATH               = /usr/bin/dot
 
 # The DOTFILE_DIRS tag can be used to specify one or more directories that 
 # contain dot files that are included in the documentation (see the