docgen: don't generate docs when help option is given

diff --git a/gendoc.lua b/gendoc.lua
index c774767..cbeae4b 100644 (file)
--- a/gendoc.lua
+++ b/gendoc.lua
@@ -1586,6 +1586,9 @@ getopt.parse {
         getopt.help(parser, io.stderr)
     end,
     done_cb = function(parser, opts, args)
+        if opts["h"] then
+            return
+        end
         global_opts.verbose = not not opts["v"]
         global_opts.use_dot = not opts["disable-graphviz"]
         global_opts.use_notes = not opts["disable-notes"]