diff options
Diffstat (limited to '')
-rw-r--r-- | src/seastar/fmt/support/rtd/conf.py | 7 | ||||
-rw-r--r-- | src/seastar/fmt/support/rtd/index.rst | 2 | ||||
-rw-r--r-- | src/seastar/fmt/support/rtd/theme/layout.html | 17 | ||||
-rw-r--r-- | src/seastar/fmt/support/rtd/theme/theme.conf | 2 |
4 files changed, 28 insertions, 0 deletions
diff --git a/src/seastar/fmt/support/rtd/conf.py b/src/seastar/fmt/support/rtd/conf.py new file mode 100644 index 00000000..124fb9d4 --- /dev/null +++ b/src/seastar/fmt/support/rtd/conf.py @@ -0,0 +1,7 @@ +# Sphinx configuration for readthedocs. + +import os, sys + +master_doc = 'index' +html_theme = 'theme' +html_theme_path = ["."] diff --git a/src/seastar/fmt/support/rtd/index.rst b/src/seastar/fmt/support/rtd/index.rst new file mode 100644 index 00000000..4a59e9be --- /dev/null +++ b/src/seastar/fmt/support/rtd/index.rst @@ -0,0 +1,2 @@ +If you are not redirected automatically, follow the +`link to the fmt documentation <http://fmtlib.net/latest/>`_. diff --git a/src/seastar/fmt/support/rtd/theme/layout.html b/src/seastar/fmt/support/rtd/theme/layout.html new file mode 100644 index 00000000..ee140868 --- /dev/null +++ b/src/seastar/fmt/support/rtd/theme/layout.html @@ -0,0 +1,17 @@ +{% extends "basic/layout.html" %} + +{% block extrahead %} +<meta charset="UTF-8"> +<meta http-equiv="refresh" content="1;url=http://fmtlib.net/latest/"> +<script type="text/javascript"> + window.location.href = "http://fmtlib.net/latest/" +</script> +<title>Page Redirection</title> +{% endblock %} + +{% block document %} +If you are not redirected automatically, follow the <a href='http://fmtlib.net/latest/'>link to the fmt documentation</a>. +{% endblock %} + +{% block footer %} +{% endblock %} diff --git a/src/seastar/fmt/support/rtd/theme/theme.conf b/src/seastar/fmt/support/rtd/theme/theme.conf new file mode 100644 index 00000000..89e03bbd --- /dev/null +++ b/src/seastar/fmt/support/rtd/theme/theme.conf @@ -0,0 +1,2 @@ +[theme] +inherit = basic |