dev: Drop domain verification file (#94124)

2021-11-23 16:03:02 -08:00
parent abc6187e3d
commit d1cd614338
2 changed files with 0 additions and 4 deletions
--- 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/"
--- a/dev/docs/google2ed1af765c529f57.html
+++ b/dev/docs/google2ed1af765c529f57.html
@@ -1 +0,0 @@
-google-site-verification: google2ed1af765c529f57.html
				`@@ -1 +0,0 @@`
				`google-site-verification: google2ed1af765c529f57.html`