Bump required doxygen version

[Matthias Klose]

The user.cfg.in is regenerated with Doxygen 1.3.7. Doxygen 1.3.4,
1.3.5 and some 1.3.6 snapshot releases did have problems with the
libstdc++ docs (segfaulting, not terminating), so 1.3.7 is a safe bet.


2004-05-21  Matthias Klose  <doko@debian.org>

        * docs/doxygen/run_doxygen:  Bump required version.


--- docs/doxygen/run_doxygen~   2004-05-22 07:32:13.000000000 +0200
+++ docs/doxygen/run_doxygen    2004-05-22 08:01:00.000000000 +0200
@@ -9,7 +9,7 @@
 
 
 # We can check now that the version of doxygen is >= this variable.
-DOXYVER=1.2.15
+DOXYVER=1.3.7
 
 find_doxygen() {
     local -r v_required=`echo $DOXYVER |  \