diff --git a/configure.ac b/configure.ac index bca01cc3..84463162 100644 --- a/configure.ac +++ b/configure.ac @@ -399,6 +399,13 @@ AC_CONFIG_FILES([ python/Makefile doc/Makefile doc/conf.py + doc/_themes/Makefile + doc/_themes/sphinx_rtd_theme/Makefile + doc/_themes/sphinx_rtd_theme/static/Makefile + doc/_themes/sphinx_rtd_theme/static/css/Makefile + doc/_themes/sphinx_rtd_theme/static/font/Makefile + doc/_themes/sphinx_rtd_theme/static/fonts/Makefile + doc/_themes/sphinx_rtd_theme/static/js/Makefile ]) AC_OUTPUT diff --git a/doc/Makefile.am b/doc/Makefile.am index 6dad859e..7e6d4ac2 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,6 +21,8 @@ # OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION # WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. +SUBDIRS = _themes + EXTRA_DIST = README.rst apiref-header.rst index.rst mkapiref.py \ package_README.rst tutorial-client.rst tutorial-server.rst diff --git a/doc/_themes/Makefile.am b/doc/_themes/Makefile.am new file mode 100644 index 00000000..61b485fc --- /dev/null +++ b/doc/_themes/Makefile.am @@ -0,0 +1 @@ +SUBDIRS = sphinx_rtd_theme diff --git a/doc/_themes/sphinx_rtd_theme/Makefile.am b/doc/_themes/sphinx_rtd_theme/Makefile.am new file mode 100644 index 00000000..4d9ec50e --- /dev/null +++ b/doc/_themes/sphinx_rtd_theme/Makefile.am @@ -0,0 +1,4 @@ +SUBDIRS = static + +EXTRA_DIST = breadcrumbs.html footer.html __init__.py layout.html \ +layout_old.html searchbox.html search.html theme.conf versions.html diff --git a/doc/_themes/sphinx_rtd_theme/static/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/Makefile.am new file mode 100644 index 00000000..8d666242 --- /dev/null +++ b/doc/_themes/sphinx_rtd_theme/static/Makefile.am @@ -0,0 +1 @@ +SUBDIRS = css font fonts js diff --git a/doc/_themes/sphinx_rtd_theme/static/css/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/css/Makefile.am new file mode 100644 index 00000000..7c708b1e --- /dev/null +++ b/doc/_themes/sphinx_rtd_theme/static/css/Makefile.am @@ -0,0 +1 @@ +EXTRA_DIST = badge_only.css theme.css diff --git a/doc/_themes/sphinx_rtd_theme/static/font/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/font/Makefile.am new file mode 100644 index 00000000..fdcf899f --- /dev/null +++ b/doc/_themes/sphinx_rtd_theme/static/font/Makefile.am @@ -0,0 +1,2 @@ +EXTRA_DIST = fontawesome_webfont.eot fontawesome_webfont.svg \ +fontawesome_webfont.ttf fontawesome_webfont.woff diff --git a/doc/_themes/sphinx_rtd_theme/static/fonts/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/fonts/Makefile.am new file mode 100644 index 00000000..a2dbbdef --- /dev/null +++ b/doc/_themes/sphinx_rtd_theme/static/fonts/Makefile.am @@ -0,0 +1,3 @@ +EXTRA_DIST = FontAwesome.otf fontawesome-webfont.eot \ +fontawesome-webfont.svg fontawesome-webfont.ttf \ +fontawesome-webfont.woff diff --git a/doc/_themes/sphinx_rtd_theme/static/js/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/js/Makefile.am new file mode 100644 index 00000000..d5d69c76 --- /dev/null +++ b/doc/_themes/sphinx_rtd_theme/static/js/Makefile.am @@ -0,0 +1 @@ +EXTRA_DIST = theme.js