summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorPavel Campr <pavel@campr.cz>2014-11-14 08:31:34 +0100
committerPavel Campr <pavel@campr.cz>2014-11-14 08:31:34 +0100
commit51a09de81d10714d0d1a03e4eab028e994cb82e1 (patch)
tree6069ab76732155fcfbfc216cbda56765458e90ac /scripts
parentc18d22eb92488f02c0256a3fe4ac20a8ad827596 (diff)
downloadcaffe-51a09de81d10714d0d1a03e4eab028e994cb82e1.tar.gz
caffe-51a09de81d10714d0d1a03e4eab028e994cb82e1.tar.bz2
caffe-51a09de81d10714d0d1a03e4eab028e994cb82e1.zip
fixed filename in build_docs.sh
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/build_docs.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build_docs.sh b/scripts/build_docs.sh
index f8ace0ea..0e28bd71 100755
--- 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 )"