2 files changed, 1 insertions, 0 deletions
diff --git a/README b/README
index 1280f66a7..56f74c291 100644
--- a/README
+++ b/README
@@ -82,6 +82,7 @@ Build tools for compiling GNUnet from source:
 - make[*3]
 - pkgconf or pkg-config
 - sphinx
+- sphinx-rtd-theme
 Direct dependencies of GNUnet:
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
diff --git a/doc/sphinx b/doc/sphinx
-Subproject 82f55fd7e235edbcf620e57467f6f2db5ac3278
+Subproject ab494eac79baa7ee33410237bdbc2748f9028d5

diff --git a/README b/README index 1280f66a7..56f74c291 100644 --- a/README +++ b/README
@@ -82,6 +82,7 @@ Build tools for compiling GNUnet from source:
82	- make[*3]	82	- make[*3]
83	- pkgconf or pkg-config	83	- pkgconf or pkg-config
84	- sphinx	84	- sphinx
		85	- sphinx-rtd-theme
85		86
86	Direct dependencies of GNUnet:	87	Direct dependencies of GNUnet:
87	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~	88	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


diff --git a/doc/sphinx b/doc/sphinx
	Subproject 82f55fd7e235edbcf620e57467f6f2db5ac3278		Subproject ab494eac79baa7ee33410237bdbc2748f9028d5