diff options
author | W. Trevor King <wking@tremily.us> | 2014-04-05 10:31:08 -0700 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-04-21 21:32:03 +0900 |
commit | c3d54c4b54959633f2aee5e57ae21db71af15dbd (patch) | |
tree | 0169b1e5f317090ffd54d0505c06714d502215d6 /doc | |
parent | 334f247d9f5dc96db0d57bfa64cab1cf8b333ce4 (diff) |
doc/prerst2man.py: Fix 'os.system' -> 'system' typo
Avoid:
$ make HAVE_SPHINX=0 HAVE_RST2MAN=1 build-man
python ./doc/prerst2man.py ./doc doc/_build/man
Traceback (most recent call last):
File "./doc/prerst2man.py", line 65, in <module>
os.system('set -x; rst2man {0} {1}/{2}.{3}'
NameError: name 'os' is not defined
make: *** [doc/_build/man/man1/notmuch.1] Error 1
by using system directly. We don't need the 'os.' namespacing,
because the function was imported with:
from os import makedirs, system
Diffstat (limited to 'doc')
-rw-r--r-- | doc/prerst2man.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/prerst2man.py b/doc/prerst2man.py index 108f4a39..437dea99 100644 --- a/doc/prerst2man.py +++ b/doc/prerst2man.py @@ -59,5 +59,5 @@ for page in man_pages: outfile.write("".join(lines)) outfile.close() - os.system('set -x; rst2man {0} {1}/{2}.{3}' - .format(filename, outdir, page[0],page[4])) + system('set -x; rst2man {0} {1}/{2}.{3}' + .format(filename, outdir, page[0], page[4])) |