From d1cd6143389903d121f1e622861fcf01598f5d1d Mon Sep 17 00:00:00 2001 From: Kevin Moore Date: Tue, 23 Nov 2021 16:03:02 -0800 Subject: [PATCH] dev: Drop domain verification file (#94124) --- dev/bots/docs.sh | 3 --- dev/docs/google2ed1af765c529f57.html | 1 - 2 files changed, 4 deletions(-) delete mode 100644 dev/docs/google2ed1af765c529f57.html 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