documentation/check.sh

   1 #!/bin/bash
   2
   3 # simple script to check html via tidy. Either specify html files on
   4 # command line or rely on default which checks all html files in
   5 # current directory
   6 set -o nounset
   7 set -o errexit
   8
   9
  10 CheckFile () {
  11   echo "========================================"
  12   echo "checking $1"
  13   echo "========================================"
  14   tidy -e -q $1
  15 }
  16
  17
  18 if [ $# -eq 0  ] ; then
  19   for file in *.html ; do
  20    CheckFile ${file}
  21   done
  22 else
  23   for file in $* ; do
  24    CheckFile ${file}
  25   done
  26 fi