add a webmaster tools verification file (flutter#3902)

sethladd · sethladd · commit 7e4a91f3406a · 2016-05-13T12:27:06.000-07:00
* add a webmaster tools verification file

* also put the verification file at the root of our bucket

* add comment for when we can simplify this script
diff --git a/dev/docs/google2ed1af765c529f57.html b/dev/docs/google2ed1af765c529f57.html
@@ -0,0 +1 @@
+google-site-verification: google2ed1af765c529f57.html
diff --git a/infra/docs.sh b/infra/docs.sh
@@ -8,7 +8,12 @@ pub global activate dartdoc
 (cd dev/tools; pub get)
 dart dev/tools/dartdoc.dart
 
+cp dev/docs/google2ed1af765c529f57.html dev/docs/doc/api
+
 # Upload the docs.
 if [ "$1" = "--upload" ]; then
+  # TODO: delete this line when we publish our API docs into the
+  # root of the bucket
+  gsutil cp dev/docs/google2ed1af765c529f57.html gs://docs.flutter.io
   gsutil -m rsync -d -r dev/docs/doc/api gs://docs.flutter.io/flutter
 fi

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+google-site-verification: google2ed1af765c529f57.html`