diff options
| -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) |