diff options
| -rw-r--r-- | gendoc.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gendoc.lua b/gendoc.lua index c774767a56..cbeae4bdc1 100644 --- 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"] |