Update dartdoc (#7758)

This update includes the fix for the search box.
This commit is contained in:
Adam Barth 2017-01-31 11:03:48 -08:00 committed by GitHub
parent 6469b475d2
commit 650b939f48

View File

@ -2,7 +2,7 @@
set -e
# Install dartdoc.
pub global activate dartdoc 0.9.10
pub global activate dartdoc 0.9.11
# This script generates a unified doc set, and creates
# a custom index.html, placing everything into dev/docs/doc