mirror of
https://github.com/flutter/flutter.git
synced 2025-06-03 00:51:18 +00:00
7fb798f5f1
* update the docs css style so the generated dartdoc matches the new flutter.io * Change to 0.12.0 dartdoc * Review comment
32 lines
1014 B
Bash
Executable File
32 lines
1014 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
# If you want to run this script locally, make sure you run it from
|
|
# the root of the flutter repository.
|
|
|
|
# Make sure dart is installed
|
|
bin/flutter --version
|
|
|
|
# Install dartdoc.
|
|
bin/cache/dart-sdk/bin/pub global activate dartdoc 0.12.0
|
|
|
|
# This script generates a unified doc set, and creates
|
|
# a custom index.html, placing everything into dev/docs/doc.
|
|
(cd dev/tools; ../../bin/cache/dart-sdk/bin/pub get)
|
|
FLUTTER_ROOT=$PWD bin/cache/dart-sdk/bin/dart dev/tools/dartdoc.dart
|
|
FLUTTER_ROOT=$PWD bin/cache/dart-sdk/bin/dart dev/tools/javadoc.dart
|
|
|
|
# Ensure google webmaster tools can verify our site.
|
|
cp dev/docs/google2ed1af765c529f57.html dev/docs/doc
|
|
|
|
# Upload new API docs when on Travis and branch is master.
|
|
if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ]; then
|
|
cd dev/docs
|
|
firebase deploy --project docs-flutter-io
|
|
exit_code=$?
|
|
if [[ $exit_code -ne 0 ]]; then
|
|
>&2 echo "Error deploying docs via firebase ($exit_code)"
|
|
exit $exit_code
|
|
fi
|
|
fi
|