*** empty log message ***

diff --git a/config_files/doxygen-1.5.6.sh b/config_files/doxygen-1.5.6.sh
index 030633345d1b6b2f433c4fdcfc3a4f750a457607..4cf45cb3833614b5a97c195020f0f54e3c854851 100755 (executable)
--- a/config_files/doxygen-1.5.6.sh
+++ b/config_files/doxygen-1.5.6.sh
@@ -23,7 +23,7 @@ maj_ver=`echo $ver | awk -F. '{if(NF>0) print $1; else print 0}' | sed -e 's/^\(
 min_ver=`echo $ver | awk -F. '{if(NF>1) print $2; else print 0}' | sed -e 's/^\([0-9]*\).*$/\1/'`
 rel_ver=`echo $ver | awk -F. '{if(NF>2) print $3; else print 0}' | sed -e 's/^\([0-9]*\).*$/\1/'`
 let ver=$maj_ver*10000+$min_ver*100+$rel_ver
-if [ $ver -eq 10407 ] ; then
+if [ $ver -eq 10506 ] ; then
     return 0
 fi
 return 1