diff -r a3402913cffe -r f63e87b9748e tools/dimacs-solver.cc
--- a/tools/dimacs-solver.cc	Sat Apr 18 21:54:30 2009 +0200
+++ b/tools/dimacs-solver.cc	Tue Apr 21 10:34:49 2009 +0100
@@ -23,11 +23,10 @@
 /// This program solves various problems given in DIMACS format.
 ///
 /// See
-/// \verbatim
-///  dimacs-solver --help
-/// \endverbatim
+/// \code
+///   dimacs-solver --help
+/// \endcode
 /// for more info on usage.
-///
 
 #include <iostream>
 #include <fstream>