diff -r 99a31b399b59 -r 33c6b6e755cd tools/lgf-gen.cc
--- a/tools/lgf-gen.cc	Tue Apr 14 10:40:33 2009 +0100
+++ b/tools/lgf-gen.cc	Wed Apr 15 02:04:37 2009 +0200
@@ -23,12 +23,10 @@
 /// Graph generator application for various types of plane graphs.
 ///
 /// See
-/// \verbatim
-///  lgf-gen --help
-/// \endverbatim
+/// \code
+///   lgf-gen --help
+/// \endcode
 /// for more info on the usage.
-///
-
 
 #include <algorithm>
 #include <set>