From 06f8e02fb3a1af3d8ad8b17ee041e02826d802c2 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Tue, 4 Jun 2024 10:43:55 -0700 Subject: [PATCH] Remove rtd compat --- support/rtd/conf.py | 7 ------- support/rtd/index.rst | 2 -- support/rtd/theme/layout.html | 17 ----------------- support/rtd/theme/theme.conf | 2 -- 4 files changed, 28 deletions(-) delete mode 100644 support/rtd/conf.py delete mode 100644 support/rtd/index.rst delete mode 100644 support/rtd/theme/layout.html delete mode 100644 support/rtd/theme/theme.conf 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