diff options
| author | Jack Lloyd <[email protected]> | 2018-09-02 06:43:15 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-09-02 06:43:15 -0400 |
| commit | 96ff9f19cf5baf2fe05ebf8456939d6dda555e2c (patch) | |
| tree | 874714e50ee683b9d7f82cc427276ead1bd59110 | |
| parent | 3d3e0c1fdb04ff2bb1655f3ff0a9f6c2b79a0fa6 (diff) | |
Fix lint
| -rwxr-xr-x | src/scripts/build_docs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index 5b4753812..92baf4377 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -144,7 +144,7 @@ def main(args=None): f = open(config) cfg = json.load(f) f.close() - except OsError as e: + except OSError: logging.error('Failed to load build config - is build dir correct?') sys.exit(1) |