diff options
| author | Jack Lloyd <[email protected]> | 2018-01-04 08:31:26 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-01-04 08:31:26 -0500 |
| commit | 01bd45ad63bc4080fe2d81d3850f7f07d80e9c5d (patch) | |
| tree | 925908cbc9fbc4dc580df2a746225de1af679c3d /src | |
| parent | 8c1340482d9c069de93b762da27588f785af51f8 (diff) | |
Add -o flag to website generator
Diffstat (limited to 'src')
| -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) |