Index: utils/dartdoc/dartdoc |
diff --git a/utils/dartdoc/dartdoc b/utils/dartdoc/dartdoc |
index 01208161b008a51990ae6391b27414bc5e97acda..d2b949452aa4ff02ae370a8c6c7ee78e75adb3a1 100755 |
--- a/utils/dartdoc/dartdoc |
+++ b/utils/dartdoc/dartdoc |
@@ -15,7 +15,7 @@ pushd `dirname "$0"` >>/dev/null |
# if it's out of date. |
if [ "interact.dart" -nt "static/interact.js" ] |
then |
- ../../frog/frogsh --libdir=../../frog/lib \ |
+ ../../frog/minfrog --libdir=../../frog/lib \ |
--out=static/interact.js --compile-only interact.dart |
echo "Compiled interact.dart." |
fi |
@@ -24,6 +24,6 @@ fi |
shift |
# Generate the user's docs. |
-../../frog/frogsh --libdir=../../frog/lib dartdoc.dart "$entrypoint" $@ |
+../../frog/minfrog --libdir=../../frog/lib dartdoc.dart "$entrypoint" $@ |
popd >>/dev/null |