1.1 --- a/tools/dimacs-solver.cc	Sat Apr 18 21:54:30 2009 +0200
     1.2 +++ b/tools/dimacs-solver.cc	Tue Apr 21 10:34:49 2009 +0100
     1.3 @@ -23,11 +23,10 @@
     1.4  /// This program solves various problems given in DIMACS format.
     1.5  ///
     1.6  /// See
     1.7 -/// \verbatim
     1.8 -///  dimacs-solver --help
     1.9 -/// \endverbatim
    1.10 +/// \code
    1.11 +///   dimacs-solver --help
    1.12 +/// \endcode
    1.13  /// for more info on usage.
    1.14 -///
    1.15  
    1.16  #include <iostream>
    1.17  #include <fstream>