tools/lgf-gen.cc
changeset 631 33c6b6e755cd
parent 617 ab6da8cf5ab2
child 659 0c8e5c688440
     1.1 --- a/tools/lgf-gen.cc	Tue Apr 14 10:40:33 2009 +0100
     1.2 +++ b/tools/lgf-gen.cc	Wed Apr 15 02:04:37 2009 +0200
     1.3 @@ -23,12 +23,10 @@
     1.4  /// Graph generator application for various types of plane graphs.
     1.5  ///
     1.6  /// See
     1.7 -/// \verbatim
     1.8 -///  lgf-gen --help
     1.9 -/// \endverbatim
    1.10 +/// \code
    1.11 +///   lgf-gen --help
    1.12 +/// \endcode
    1.13  /// for more info on the usage.
    1.14 -///
    1.15 -
    1.16  
    1.17  #include <algorithm>
    1.18  #include <set>