From 35e8eaab9cb51138c460fa4396fd8023ce893a65 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth
+ For debugging programs, we have found that the + GNU + debugger gdb 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. +
+In case you want to generate the documentation from the header files, you only need Perl installed. The scripts -- 2.39.5