diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh
index ef68ae1b24..2d154430ec 100755
--- a/dev/bots/docs.sh
+++ b/dev/bots/docs.sh
@@ -75,9 +75,6 @@ function create_docset() {
 }
 
 function deploy_docs() {
-    # Ensure google webmaster tools can verify our site.
-    cp "$FLUTTER_ROOT/dev/docs/google2ed1af765c529f57.html" "$FLUTTER_ROOT/dev/docs/doc"
-
     case "$LUCI_BRANCH" in
         master)
             echo "$(date): Updating $LUCI_BRANCH docs: https://master-api.flutter.dev/"
diff --git a/dev/docs/google2ed1af765c529f57.html b/dev/docs/google2ed1af765c529f57.html
deleted file mode 100644
index b3e0710246..0000000000
--- a/dev/docs/google2ed1af765c529f57.html
+++ /dev/null
@@ -1 +0,0 @@
-google-site-verification: google2ed1af765c529f57.html
\ No newline at end of file