Make directory build/texinfo in check_build()

tkf · tkf · commit 126d980ff87b · 2012-07-05T17:16:00.000+02:00
diff --git a/doc/make.py b/doc/make.py
@@ -114,7 +114,7 @@ def copy_if_out_of_date(original, derived):
 
 def check_build():
     build_dirs = ['build', 'build/doctrees', 'build/html', 'build/latex',
-                  '_static', '_templates']
+                  'build/texinfo', '_static', '_templates']
     for d in build_dirs:
         try:
             os.mkdir(d)
