diff --git a/doc/google8dda472a993637b7.html b/doc/google8dda472a993637b7.html
new file mode 100644
index 00000000..be9ff8d2
--- /dev/null
+++ b/doc/google8dda472a993637b7.html
@@ -0,0 +1 @@
+google-site-verification: google8dda472a993637b7.html
\ No newline at end of file