diff options
author | Jonathan Waltman <jonathan.waltman@gmail.com> | 2013-01-04 22:48:21 -0600 |
---|---|---|
committer | Jonathan Waltman <jonathan.waltman@gmail.com> | 2013-01-04 22:48:21 -0600 |
commit | 66fe7cc2d793c459ebff877eecacccf717609a75 (patch) | |
tree | fdd8fe583bf098f0b98f70327bc9573740e5a460 /sphinx/cmdline.py | |
parent | b338af55dfdeb4de729cc8631fdd4fcb6a60e582 (diff) | |
download | sphinx-git-66fe7cc2d793c459ebff877eecacccf717609a75.tar.gz |
sphinx-build: Support the standard ``--help`` and ``--version`` options.
Diffstat (limited to 'sphinx/cmdline.py')
-rw-r--r-- | sphinx/cmdline.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/sphinx/cmdline.py b/sphinx/cmdline.py index 9b8d8ae2e..026bcd45c 100644 --- a/sphinx/cmdline.py +++ b/sphinx/cmdline.py @@ -60,6 +60,8 @@ new and changed files -W -- turn warnings into errors -P -- run Pdb on exception -T -- show full traceback on exception + --help -- show this help and exit + --version -- show version information and exit Modi: * without -a and without filenames, write new and changed files. * with -a, write all files. @@ -72,8 +74,15 @@ def main(argv): nocolor() try: - opts, args = getopt.getopt(argv[1:], 'ab:t:d:c:CD:A:ng:NEqQWw:PT') + opts, args = getopt.getopt(argv[1:], 'ab:t:d:c:CD:A:ng:NEqQWw:PTh', + ['help', 'version']) allopts = set(opt[0] for opt in opts) + if '-h' in allopts or '--help' in allopts: + usage(argv) + return 0 + if '--version' in allopts: + print 'Sphinx (sphinx-build) %s' % __version__ + return 0 srcdir = confdir = abspath(args[0]) if not path.isdir(srcdir): print >>sys.stderr, 'Error: Cannot find source directory `%s\'.' % ( |