1 files changed, 0 insertions, 46 deletions
diff --git a/docs/_includes/autoreload-in-debug.html b/docs/_includes/autoreload-in-debug.html
deleted file mode 100644
index fa29294b0..000000000
--- a/docs/_includes/autoreload-in-debug.html
+++ /dev/null
@@ -1,46 +0,0 @@
-{% if site.safe == false %}
-<!-- During authoring, this automatically reloads the post as its changing -->
-<script type="text/javascript">
-(function() {
-var qs = document.location.search;
-var current_etag = qs.match(/etag=("?[a-zA-Z0-9_-]+)/);
-if (current_etag !== null) { current_etag = current_etag[1]; }
-var scrolly = qs.match(/scrolly=([0-9]+)/);
-if (scrolly) {
-  scrolly = parseInt(scrolly[1]);
-  if (scrolly > 0) {
-    window.scrollTo(window.scrollX, scrolly);
-    setTimeout(function () {
-      window.scrollTo(window.scrollX, scrolly);
-    }, 10);
-  }
-}
-
-function check() {
-  var r = new XMLHttpRequest();
-  var url = document.location.href + ((qs && qs !== '') ? '&' : '?') + 'r=' + Math.random();
-  r.open('GET', url, true);
-  r.onreadystatechange = function() {
-    if (r.readyState == 4){
-      var found_etag = r.getResponseHeader('Etag');
-      if (found_etag) {
-        found_etag = found_etag.replace(/^"|"$/g);
-      }
-      //console.log('current_etag:', current_etag, 'found_etag:', found_etag);
-      if (current_etag === null) {
-        current_etag = found_etag;
-      } else if (found_etag && found_etag !== current_etag) {
-        document.location.search =
-          '?etag=' + encodeURIComponent(found_etag) +
-          '&scrolly=' + window.scrollY;
-        return;
-      }
-      setTimeout(check, 500);
-    }
-  };
-  r.send(null);
-}
-check();
-})();
-</script>
-{% endif %}
-\ No newline at end of file