summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Kolesa <d.kolesa@osg.samsung.com>2016-04-28 16:21:29 +0100
committerDaniel Kolesa <d.kolesa@osg.samsung.com>2016-05-12 11:59:09 +0100
commit180af88ad7bfd74554951edcd8efed3e0883cece (patch)
tree1bb469f11d7cf46bbcb1e088dea21d85a2bcca1d
parent18542180eaa889c734d720cd088266ec4aeca758 (diff)
downloadefl-180af88ad7bfd74554951edcd8efed3e0883cece.tar.gz
docgen: don't generate docs when help option is given
-rw-r--r--gendoc.lua3
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"]