fixed filename in build_docs.sh

2014-11-14 08:31:34 +01:00 · 2014-11-14 08:31:34 +01:00 · 51a09de81d
--- a/scripts/build_docs.sh
+++ b/scripts/build_docs.sh
@ -3,7 +3,7 @@

 PORT=${1:-4000}

-echo "usage: build.sh [port]"
+echo "usage: build_docs.sh [port]"

 # Find the docs dir, no matter where the script is called
 ROOT_DIR="$( cd "$(dirname "$0")"/.. ; pwd -P )"