From ad595aea459eedf92f568ff63e0e3522cea8c86c Mon Sep 17 00:00:00 2001 From: Daniel Wagner-Hall Date: Thu, 10 Sep 2015 13:21:08 +0100 Subject: [PATCH] Optionally don't delete intermediate rst files Useful for debugging Hackily hackily implemented :) --- scripts/gendoc.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/gendoc.py b/scripts/gendoc.py index e3e8d3d4..47141d7d 100755 --- a/scripts/gendoc.py +++ b/scripts/gendoc.py @@ -71,10 +71,11 @@ def main(): run_through_template("tmp/howto.rst") rst2html("tmp/full_spec.rst", "gen/specification.html") rst2html("tmp/howto.rst", "gen/howtos.html") - cleanup_env() + if "--nodelete" not in sys.argv: + cleanup_env() if __name__ == '__main__': - if len(sys.argv) > 1: + if len(sys.argv) > 1 and sys.argv[1:] != ["--nodelete"]: # we accept no args, so they don't know what they're doing! print "gendoc.py - Generate the Matrix specification as HTML." print "Usage:"