diff --git a/dev/docs/google2ed1af765c529f57.html b/dev/docs/google2ed1af765c529f57.html new file mode 100644 index 0000000000..b3e0710246 --- /dev/null +++ b/dev/docs/google2ed1af765c529f57.html @@ -0,0 +1 @@ +google-site-verification: google2ed1af765c529f57.html \ No newline at end of file diff --git a/infra/docs.sh b/infra/docs.sh index ee0a82eda4..2706690b8c 100755 --- 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