Note gdb 5.0 in one more place.

git-svn-id: https://svn.dealii.org/trunk@3248 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/readme.html b/deal.II/doc/readme.html
index 6d486ef59b0684d58341c738207608f03ae47a54..2d3c7cf8bfca959b82fd9d685845742b01a27078 100644 (file)
--- a/deal.II/doc/readme.html
+++ b/deal.II/doc/readme.html
@@ -93,9 +93,10 @@
           debugger gdb</a> is a valuable tool. However, it is noted
            that gdb 4.18 is quite broken with respect to debugging C++
            programs. A better choice is to use the older version 4.17
-           which works well. If you want to debug multithreaded
-           programs, you may want to use gdb 5.0 or later, since gdb
-           4.17 did not support multiple threads too well.
+           which works well, or 5.0 or later. If you want to debug
+           multithreaded programs, you may want to use gdb 5.0 or
+           later, since gdb 4.17 did not support multiple threads too
+           well.
           </p>
 
       <li> <p>