add google tracker

ekwan · Apr 15, 2020 · b1595bf · b1595bf
1 parent 8c39229
commit b1595bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/_static/google6fef05cdc530cf4e.html b/docs/_static/google6fef05cdc530cf4e.html
@@ -0,0 +1 @@
+google-site-verification: google6fef05cdc530cf4e.html
diff --git a/docs/conf.py b/docs/conf.py
@@ -61,6 +61,7 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
+html_extra_path = ['_static/google6fef05cdc530cf4e.html']
 html_add_permalinks = ""
 html_favicon = '_static/favicon.png'