| 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
|
|
|