707fe582a6
* put an index at root of API docs bucket * ignore all of dev/docs/doc dir, fix a bug, remove private names from doc gen script * tweaks from review
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
|