mirror of
https://github.com/flutter/flutter.git
synced 2025-06-03 00:51:18 +00:00
942ccc5cb0
This moves all the bot-related files to `dev/bots`, hiding it from our home page in github. Also, simplifies the travis setup, though that doesn't do any difference to the performance sadly.
21 lines
506 B
Bash
Executable File
21 lines
506 B
Bash
Executable File
#!/bin/bash
|
|
set -ex
|
|
|
|
# Install dartdoc.
|
|
pub global activate dartdoc
|
|
|
|
# Generate flutter docs into dev/docs/doc/api/.
|
|
(cd dev/tools; pub get)
|
|
|
|
# This script generates a unified doc set, and creates
|
|
# a custom index.html, placing everything into dev/docs/doc
|
|
dart dev/tools/dartdoc.dart
|
|
|
|
# Ensure google webmaster tools can verify our site.
|
|
cp dev/docs/google2ed1af765c529f57.html dev/docs/doc
|
|
|
|
# Upload the docs.
|
|
if [ "$1" = "--upload" ]; then
|
|
gsutil -m rsync -d -r dev/docs/doc/ gs://docs.flutter.io/
|
|
fi
|