From 6540dcf37c85f20f2d7f07893c8b2cc90d97b1f6 Mon Sep 17 00:00:00 2001
From: Bertrand Chenal <bch@b2ck.com>
Date: Mon, 29 Sep 2008 09:36:36 +0200
Subject: [PATCH] Added html suffix option for sphinx 0.4

---
 doc/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/build.py b/doc/build.py
index 23dc54abef..97914b42c6 100644
--- a/doc/build.py
+++ b/doc/build.py
@@ -11,7 +11,7 @@ outdir = os.path.join(srcdir, 'html')
 static_dir = os.path.join(srcdir, 'static')
 doctreedir = path.join(outdir, '.doctrees')
 status = sys.stdout
-confoverrides = {}
+confoverrides = {'html_file_suffix': '.html'}
 freshenv = True
 buildername = 'html'
 if not path.isdir(outdir):