| commit | e08be11cd63168b97da0f01ff149dfa1cd4c7352 | [log] [tgz] |
|---|---|---|
| author | Philipp Wagner <phw@lowrisc.org> | Thu Oct 31 14:43:52 2019 +0000 |
| committer | Garret Kelly <Garret.Kelly@gmail.com> | Thu Oct 31 13:24:09 2019 -0400 |
| tree | a2f96a51917a32fddbf2a84965e545cc25ce91c2 | |
| parent | cd57f86030653a2fdd38ae8062f2e9c6b4f95460 [diff] |
[hugo] Don't throw an exception if exiting preview
diff --git a/util/build_docs.py b/util/build_docs.py index d21485d..4f8105d 100755 --- a/util/build_docs.py +++ b/util/build_docs.py
@@ -220,6 +220,8 @@ logging.info("Hugo not found. Installing local copy and re-trying.") install_hugo(hugo_localinstall_dir) invoke_hugo(args.preview) + except KeyboardInterrupt: + pass if __name__ == "__main__":