From 83f50855516114ce5189ff6c4b54a2561e782992 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Fri, 6 Feb 2015 09:01:49 -0800 Subject: [PATCH] Remove RTD theme --- .gitmodules | 3 --- doc/cppformat_theme | 1 - doc/sphinx_rtd_theme | 1 - 3 files changed, 5 deletions(-) delete mode 120000 doc/cppformat_theme delete mode 160000 doc/sphinx_rtd_theme diff --git a/.gitmodules b/.gitmodules index bd118101..a0b9aa8e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,6 +4,3 @@ [submodule "doc/sphinx-bootstrap-theme"] path = doc/sphinx-bootstrap-theme url = https://github.com/cppformat/sphinx-bootstrap-theme.git -[submodule "doc/sphinx_rtd_theme"] - path = doc/sphinx_rtd_theme - url = https://github.com/cppformat/sphinx_rtd_theme.git diff --git a/doc/cppformat_theme b/doc/cppformat_theme deleted file mode 120000 index 23c34f85..00000000 --- a/doc/cppformat_theme +++ /dev/null @@ -1 +0,0 @@ -sphinx_rtd_theme/sphinx_rtd_theme/ \ No newline at end of file diff --git a/doc/sphinx_rtd_theme b/doc/sphinx_rtd_theme deleted file mode 160000 index 6f56701d..00000000 --- a/doc/sphinx_rtd_theme +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6f56701db1654418bbe9832d17b445a979953f79