diff options
author | Daniel Kolesa <d.kolesa@osg.samsung.com> | 2016-04-28 16:21:29 +0100 |
---|---|---|
committer | Daniel Kolesa <d.kolesa@osg.samsung.com> | 2016-05-12 11:59:09 +0100 |
commit | 180af88ad7bfd74554951edcd8efed3e0883cece (patch) | |
tree | 1bb469f11d7cf46bbcb1e088dea21d85a2bcca1d | |
parent | 18542180eaa889c734d720cd088266ec4aeca758 (diff) | |
download | efl-180af88ad7bfd74554951edcd8efed3e0883cece.tar.gz |
docgen: don't generate docs when help option is given
-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"] |