diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index b5d587be31f..db042dcaea0 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -319,7 +319,7 @@ you don't want them to always be noisy. A standard compromise is to comment them out, allowing you to enable them if you need them in the future.

The "StatisticReporter.h" +href="/doxygen/Statistic_8h-source.html">Support/Statistic.h" file provides a macro named DEBUG() that is a much nicer solution to this problem. Basically, you can put arbitrary code into the argument of the DEBUG macro, and it is only executed if 'opt' is run with the @@ -356,7 +356,7 @@ option