diff options
Diffstat (limited to 'tools/check.sh')
-rwxr-xr-x | tools/check.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/check.sh b/tools/check.sh deleted file mode 100755 index 823d724..0000000 --- a/tools/check.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -[ -z "$1" ] && exit 1 - -cat $1 | sed -e 's#<\(tmpl_[^>]*\)>#<%!\1 /!%>#g' -e 's#</\(tmpl_[^>]*\)>#<%!\1 /!%>#g' | tidy -xml -#cat $1 | sed -e 's#\(<tmpl_var [^>]*\)>#\1 />#g' -e 's#\(<tmpl_else\)>#\1 />#g' | tidy -xml |