diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh index da0a7d44d7..6b6a9db46f 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -14,24 +14,6 @@ dart dev/tools/dartdoc.dart # Ensure google webmaster tools can verify our site. cp dev/docs/google2ed1af765c529f57.html dev/docs/doc -# Upload the docs to cloud storage. -# TODO: remove this when we're comfortable with Firebase hosting. - -if [ "$1" = "--upload" ]; then - # This isn't great, because we're uploading our files twice. But, - # we're ensuring we're not leaving any deleted files on the server. - # And we're ensuring we're compressing text files. - # Unfortunately, rsync can't set Content-Encoding for a subset of files, - # and rsync can't run in a "only delete files on server that are no - # longer in the local source dir". - - # Ensure files on server are deleted when no longer in local generated source. - gsutil -m rsync -d -r dev/docs/doc/ gs://docs.flutter.io/ - - # Ensure compressable files are gzipped and then stored. - gsutil -m cp -r -z "js,json,html,css" dev/docs/doc/* gs://docs.flutter.io/ -fi - # Upload new API docs when on Travis and branch is master if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then diff --git a/dev/docs/favicon.ico b/dev/docs/favicon.ico index 71344eea5b..2e4cc829b0 100644 Binary files a/dev/docs/favicon.ico and b/dev/docs/favicon.ico differ diff --git a/dev/docs/styles.html b/dev/docs/styles.html index 84ab45cff1..0f9b87e97e 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -1,7 +1,11 @@ + +