From c58db540d7273c8597babb6c4d3ce7107a586198 Mon Sep 17 00:00:00 2001
From: Joris Van den Bossche <jorisvandenbossche@gmail.com>
Date: Mon, 22 May 2017 11:20:43 +0200
Subject: [PATCH] DOC: add google analytics to the documentation

---
 doc/source/themes/nature_with_gtoc/layout.html | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/doc/source/themes/nature_with_gtoc/layout.html b/doc/source/themes/nature_with_gtoc/layout.html
index ddf1e861f5f81..a2106605c5562 100644
--- a/doc/source/themes/nature_with_gtoc/layout.html
+++ b/doc/source/themes/nature_with_gtoc/layout.html
@@ -94,4 +94,15 @@ <h3 style="margin-top: 1.5em;">{{ _('Search') }}</h3>
     });
 });
 </script>
+<script type="text/javascript">
+  var _gaq = _gaq || [];
+  _gaq.push(['_setAccount', 'UA-27880019-2']);
+  _gaq.push(['_trackPageview']);
+
+  (function() {
+    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+  })();
+</script>
 {% endblock %}
\ No newline at end of file