1 files changed, 7 insertions, 14 deletions
diff --git a/doc/postprocess.py b/doc/postprocess.py
index 309161bc0..3e066d22e 100755
--- a/doc/postprocess.py
+++ b/doc/postprocess.py
@@ -1,27 +1,20 @@
 #!/usr/bin/env python3
 """
-%prog MODE FILES...
-
 Post-processes HTML and Latex files output by Sphinx.
-MODE is either 'html' or 'tex'.
-
 """
-import optparse
 import io
 
 def main():
-    p = optparse.OptionParser(__doc__)
-    options, args = p.parse_args()
-
-    if len(args) < 1:
-        p.error('no mode given')
+    import argparse
 
-    mode = args.pop(0)
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument('mode', help='file mode', choices=('html', 'tex'))
+    parser.add_argument('file', nargs='+', help='input file(s)')
+    args = parser.parse_args()
 
-    if mode not in ('html', 'tex'):
-        p.error('unknown mode %s' % mode)
+    mode = args.mode
 
-    for fn in args:
+    for fn in args.file:
         with io.open(fn, 'r', encoding="utf-8") as f:
             if mode == 'html':
                 lines = process_html(fn, f.readlines())