1.1 --- a/tools/dimacs-to-lgf.cc	Sat Apr 18 21:54:30 2009 +0200
     1.2 +++ b/tools/dimacs-to-lgf.cc	Tue Apr 21 10:34:49 2009 +0100
     1.3 @@ -24,11 +24,10 @@
     1.4  /// (LGF).
     1.5  ///
     1.6  /// See
     1.7 -/// \verbatim
     1.8 -///  dimacs-to-lgf --help
     1.9 -/// \endverbatim
    1.10 -/// for more info on usage.
    1.11 -///
    1.12 +/// \code
    1.13 +///   dimacs-to-lgf --help
    1.14 +/// \endcode
    1.15 +/// for more info on the usage.
    1.16  
    1.17  #include <iostream>
    1.18  #include <fstream>