From 180af88ad7bfd74554951edcd8efed3e0883cece Mon Sep 17 00:00:00 2001 From: Daniel Kolesa Date: Thu, 28 Apr 2016 16:21:29 +0100 Subject: [PATCH] docgen: don't generate docs when help option is given --- gendoc.lua | 3 +++ 1 file changed, 3 insertions(+) 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"]