diff options
author | Jack Lloyd <jack@randombit.net> | 2018-01-04 08:31:26 -0500 |
---|---|---|
committer | Jack Lloyd <jack@randombit.net> | 2018-01-04 08:31:26 -0500 |
commit | 01bd45ad63bc4080fe2d81d3850f7f07d80e9c5d (patch) | |
tree | 925908cbc9fbc4dc580df2a746225de1af679c3d | |
parent | 8c1340482d9c069de93b762da27588f785af51f8 (diff) |
Add -o flag to website generator
-rwxr-xr-x | src/scripts/website.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/website.py b/src/scripts/website.py index 3fd01167a..763bfd16e 100755 --- a/src/scripts/website.py +++ b/src/scripts/website.py @@ -98,7 +98,7 @@ def run_sphinx(botan_dir, tmp_dir, output_dir): def main(args): parser = optparse.OptionParser() - parser.add_option('--output-dir', default=None, + parser.add_option('-o', '--output-dir', default=None, help="Where to write output") (options, args) = parser.parse_args(args) |