From 126d980ff87b3e3bd7f2ff1dbcbec3f546394f2a Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Thu, 5 Jul 2012 17:16:00 +0200 Subject: [PATCH] Make directory build/texinfo in check_build() --- doc/make.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make.py b/doc/make.py index 3ee0800f5bbd..0595a57f8b32 100755 --- 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)