Skip to content

Instantly share code, notes, and snippets.

@dajobe
Created February 8, 2014 04:29
Show Gist options
  • Save dajobe/8876708 to your computer and use it in GitHub Desktop.
Save dajobe/8876708 to your computer and use it in GitHub Desktop.
diff --git a/configure.ac b/configure.ac
index bca01cc..8446316 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 6dad859..7e6d4ac 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 0000000..61b485f
--- /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 0000000..4d9ec50
--- /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 0000000..8d66624
--- /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 0000000..7c708b1
--- /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 0000000..fdcf899
--- /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 0000000..a2dbbde
--- /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 0000000..d5d69c7
--- /dev/null
+++ b/doc/_themes/sphinx_rtd_theme/static/js/Makefile.am
@@ -0,0 +1 @@
+EXTRA_DIST = theme.js
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment