diff --git a/doc/_themes/sphinx_rtd_theme b/doc/_themes/sphinx_rtd_theme deleted file mode 120000 index 928fe94..0000000 Binary files a/doc/_themes/sphinx_rtd_theme and /dev/null differ