diff --git a/support/rtd/conf.py b/support/rtd/conf.py new file mode 100644 index 00000000..124fb9d4 --- /dev/null +++ b/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/support/rtd/index.rst b/support/rtd/index.rst new file mode 100644 index 00000000..7d5b11ad --- /dev/null +++ b/support/rtd/index.rst @@ -0,0 +1,2 @@ +If you are not redirected automatically, follow the +`link to the C++ Format documentation `_. diff --git a/support/rtd/theme/layout.html b/support/rtd/theme/layout.html new file mode 100644 index 00000000..3252509d --- /dev/null +++ b/support/rtd/theme/layout.html @@ -0,0 +1,17 @@ +{% extends "basic/layout.html" %} + +{% block extrahead %} + + + +Page Redirection +{% endblock %} + +{% block document %} +If you are not redirected automatically, follow the link to the C++ Format documentation. +{% endblock %} + +{% block footer %} +{% endblock %} diff --git a/support/rtd/theme/theme.conf b/support/rtd/theme/theme.conf new file mode 100644 index 00000000..89e03bbd --- /dev/null +++ b/support/rtd/theme/theme.conf @@ -0,0 +1,2 @@ +[theme] +inherit = basic