From f5f583d1ccb3ea902adb61c0dacb65aa9c2617a3 Mon Sep 17 00:00:00 2001
From: Benjamin Eberlei <kontakt@beberlei.de>
Date: Thu, 24 Jan 2013 00:17:32 +0100
Subject: [PATCH] Fix .gitmodules

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitmodules b/.gitmodules
index 2d52e9acd..66db29b07 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "lib/vendor/doctrine-build-common"]
 	path = lib/vendor/doctrine-build-common
 	url = git://github.com/doctrine/doctrine-build-common.git
+[submodule "docs/en/_theme"]
+    path = docs/en/_theme
+    url = git://github.com/doctrine/doctrine-sphinx-theme.git