- attempt to get RTD to include the correct searchtools

Change-Id: Iafb3854e85a48874410235483e4d474f24d6fe52

diff --git a/docs/build/_templates/layout.html b/docs/build/_templates/layout.html
new file mode 100644 (file)
index 0000000..c042d05
--- /dev/null
+++ b/docs/build/_templates/layout.html
@@ -0,0 +1,9 @@
+{% extends "!layout.html" %}
+
+{%- block extrahead %} 
+<!-- force RTD to include the correct searchtools -->
+
+<script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1)}}"></script>
+
+{% endblock %}
+