doc/prerst2man.py: Fix 'os.system' -> 'system' typo
authorW. Trevor King <wking@tremily.us>
Sat, 5 Apr 2014 16:38:39 +0000 (09:38 -0700)
committerW. Trevor King <wking@tremily.us>
Sat, 5 Apr 2014 16:38:39 +0000 (09:38 -0700)
commitc5ec510ac25c867ad600c475a0070a003440a4b8
tree414c1097ceb42a6be7fbd0a9a94db8918efe6f20
parent5e4509ab08699afe2681110fb35075e1d0bbdc7e
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
doc/prerst2man.py