With make -j, it was possible to hit a race condition in the code to
make the 'man' directory.
Signed-off-by: Julien Danjou <julien@danjou.info>
import getopt
import os
import sys
+import errno
import time
import re
raise
# Ensure the man subdirectory exists
-if not os.path.exists('man'):
+try:
os.mkdir('man')
+except OSError, e:
+ if e.errno != errno.EEXIST:
+ raise
today = time.strftime('%Y-%m-%d', time.gmtime(os.path.getmtime(args[0])))