flutter/dev/bots/docs.sh
Seth Ladd b34b453c6c Docs colors logo (#5176)
* update the color and logo for the docs site

* update the color and logo for the docs site

* remove unused file

* removed unused script code

* tweak styles for inherited names
2016-08-01 15:43:10 -07:00

24 lines
609 B
Bash
Executable File

#!/bin/bash
set -e
# 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 new API docs when on Travis and branch is master
if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then
if [ "$TRAVIS_BRANCH" = "master" ]; then
cd dev/docs
firebase deploy --project docs-flutter-io
fi
fi