| Index: utils/dartdoc/htmldoc | 
| diff --git a/utils/dartdoc/htmldoc b/utils/dartdoc/htmldoc | 
| deleted file mode 100755 | 
| index 63570bdea6c96b6f0779174bda6a3ab83822f486..0000000000000000000000000000000000000000 | 
| --- a/utils/dartdoc/htmldoc | 
| +++ /dev/null | 
| @@ -1,33 +0,0 @@ | 
| -#!/bin/bash | 
| - | 
| -# To generate docs for the HTML library, including annotations on the | 
| -# mapping to and from the DOM library, run this script like: | 
| -# | 
| -# $ htmldoc | 
| - | 
| -# 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 | 
| - | 
| -# Clean the output directory. | 
| -if [ -d "docs" ]; then | 
| -    rm -r docs | 
| -fi | 
| -mkdir docs | 
| - | 
| -# Copy the static files over. | 
| -cp static/* docs | 
| - | 
| -# Generate the user's docs. | 
| -../../frog/minfrog --libdir=../../frog/lib \ | 
| -    ../../client/html/scripts/html_doc.dart | 
| - | 
| -popd >>/dev/null | 
|  |