Add a mode to dartdoc to generate the navigation on the client.

utils/dartdoc/dartdoc

Index: utils/dartdoc/dartdoc
diff --git a/utils/dartdoc/dartdoc b/utils/dartdoc/dartdoc
index 4764f1fe05976a07e2d392ae0b131005eafcc655..15025bf9920df7bcd3d7c82bca77a872224425d7 100755
--- a/utils/dartdoc/dartdoc
+++ b/utils/dartdoc/dartdoc
@@ -24,14 +24,18 @@ fi
 # Run from dartdoc directory to get correct relative paths.
 pushd `dirname "$0"` >>/dev/null
 
-# Generate the client-side .js file from interact.dart if we haven't already or
-# if it's out of date.
-if [ "interact.dart" -nt "static/interact.js" ]
-  then
-  ../../frog/minfrog --libdir=../../frog/lib \
-    --out=static/interact.js --compile-only interact.dart
-  echo "Compiled interact.dart."
-fi
+compileToJs() {
+  if [ "$1.dart" -nt "static/$1.js" ]
+    then
+    ../../frog/minfrog --libdir=../../frog/lib \
+      --out=static/$1.js --compile-only $1.dart
+    echo "Compiled $1.dart."
+  fi
+}
+
+# Generate the client-side .js files if needed.
+compileToJs "client-static"
+compileToJs "client-live-nav"
 
 # Clean the output directory.
 if [ -d "docs" ]; then