Use the standard way of detecting RTD

2019-07-01 00:37:35 -04:00
parent ac00fcad77
commit 4c917d10de
2 changed files with 1 additions and 5 deletions
--- a/docs/_templates/layout.html
+++ b/docs/_templates/layout.html
@ -27,7 +27,7 @@
  </div>
  {% endif %}

-  {%- if ON_READTHEDOCS %}
+  {%- if READTHEDOCS %}
  <script>
    if (typeof READTHEDOCS_DATA !== 'undefined') {
        if (!READTHEDOCS_DATA.features) {