diff --git a/support/rtd/conf.py b/support/rtd/conf.py deleted file mode 100644 index 124fb9d4..00000000 --- a/support/rtd/conf.py +++ /dev/null @@ -1,7 +0,0 @@ -# Sphinx configuration for readthedocs. - -import os, sys - -master_doc = 'index' -html_theme = 'theme' -html_theme_path = ["."] diff --git a/support/rtd/index.rst b/support/rtd/index.rst deleted file mode 100644 index 7c88322f..00000000 --- a/support/rtd/index.rst +++ /dev/null @@ -1,2 +0,0 @@ -If you are not redirected automatically, follow the -`link to the fmt documentation `_. diff --git a/support/rtd/theme/layout.html b/support/rtd/theme/layout.html deleted file mode 100644 index 29ebc55b..00000000 --- a/support/rtd/theme/layout.html +++ /dev/null @@ -1,17 +0,0 @@ -{% extends "basic/layout.html" %} - -{% block extrahead %} - - - -Page Redirection -{% endblock %} - -{% block document %} -If you are not redirected automatically, follow the link to the fmt documentation. -{% endblock %} - -{% block footer %} -{% endblock %} diff --git a/support/rtd/theme/theme.conf b/support/rtd/theme/theme.conf deleted file mode 100644 index 89e03bbd..00000000 --- a/support/rtd/theme/theme.conf +++ /dev/null @@ -1,2 +0,0 @@ -[theme] -inherit = basic