From 7a8110c83efe60e872b9fbc18593fb2ea7e216a9 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Wed, 19 Sep 2018 11:13:01 +0200
Subject: [PATCH] build_release: Add --no-asciidoc

---
 scripts/dev/build_release.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/scripts/dev/build_release.py b/scripts/dev/build_release.py
index f51d54645..2b6c50546 100755
--- a/scripts/dev/build_release.py
+++ b/scripts/dev/build_release.py
@@ -375,6 +375,8 @@ def pypi_upload(artifacts):
 
 def main():
     parser = argparse.ArgumentParser()
+    parser.add_argument('--no-asciidoc', action='store_true',
+                        help="Don't generate docs")
     parser.add_argument('--asciidoc', help="Full path to python and "
                         "asciidoc.py. If not given, it's searched in PATH.",
                         nargs=2, required=False,
@@ -392,7 +394,9 @@ def main():
         import github3  # pylint: disable=unused-variable
         read_github_token()
 
-    run_asciidoc2html(args)
+    if not args.no_asciidoc:
+        run_asciidoc2html(args)
+
     if os.name == 'nt':
         artifacts = build_windows()
     elif sys.platform == 'darwin':