From cd3d3d21809767a785ddfc1fcfaa25c4f71a488f Mon Sep 17 00:00:00 2001
From: cancerhermit <cancerhermit@gmail.com>
Date: Sun, 4 Aug 2013 20:41:34 +0000
Subject: [PATCH] override extensions in config.py

---
 sphinx/config.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sphinx/config.py b/sphinx/config.py
index a59012117..1f26a735f 100644
--- a/sphinx/config.py
+++ b/sphinx/config.py
@@ -213,6 +213,8 @@ class Config(object):
         self.overrides = overrides
         self.values = Config.config_values.copy()
         config = {}
+        if "extensions" in overrides:
+            config["extensions"] = overrides["extensions"]
         if dirname is not None:
             config_file = path.join(dirname, filename)
             config['__file__'] = config_file