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

This commit is contained in:
Daniel Kolesa 2016-04-28 16:21:29 +01:00
parent 18542180ea
commit 180af88ad7
1 changed files with 3 additions and 0 deletions

View File

@ -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"]