aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJack Lloyd <jack@randombit.net>2018-01-04 08:31:26 -0500
committerJack Lloyd <jack@randombit.net>2018-01-04 08:31:26 -0500
commit01bd45ad63bc4080fe2d81d3850f7f07d80e9c5d (patch)
tree925908cbc9fbc4dc580df2a746225de1af679c3d
parent8c1340482d9c069de93b762da27588f785af51f8 (diff)
Add -o flag to website generator
-rwxr-xr-xsrc/scripts/website.py2
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)