Index: native_client_sdk/src/documentation/check.sh |
diff --git a/native_client_sdk/src/documentation/check.sh b/native_client_sdk/src/documentation/check.sh |
deleted file mode 100755 |
index ce3b49f4c2540b4c07f5dd1616da3074331c06ac..0000000000000000000000000000000000000000 |
--- a/native_client_sdk/src/documentation/check.sh |
+++ /dev/null |
@@ -1,26 +0,0 @@ |
-#!/bin/bash |
- |
-# simple script to check html via tidy. Either specify html files on |
-# command line or rely on default which checks all html files in |
-# current directory |
-set -o nounset |
-set -o errexit |
- |
- |
-CheckFile () { |
- echo "========================================" |
- echo "checking $1" |
- echo "========================================" |
- tidy -e -q $1 |
-} |
- |
- |
-if [ $# -eq 0 ] ; then |
- for file in *.html ; do |
- CheckFile ${file} |
- done |
-else |
- for file in $* ; do |
- CheckFile ${file} |
- done |
-fi |