run_doxygen: Allow doxygen 1.7.1 again.

[thirdparty/gcc.git] / libstdc++-v3 / scripts / run_doxygen

diff --git a/libstdc++-v3/scripts/run_doxygen b/libstdc++-v3/scripts/run_doxygen
index 6b3ae4c3a592cdc9dbbfa2a17ff4867b728a9dd3..23930929dfcdfc55c90773a448d1fdd6e73a3b47 100644 (file)
--- a/libstdc++-v3/scripts/run_doxygen
+++ b/libstdc++-v3/scripts/run_doxygen
@@ -13,7 +13,7 @@
 
 
 # We can check now that the version of doxygen is >= this variable.
-DOXYVER=1.7.2
+DOXYVER=1.7.1
 
 find_doxygen() {
     local -r v_required=`echo $DOXYVER |  \