doc/strip-comments.sh

   1 #! /bin/sh
   2 #
   3 # strip-comments.sh <file1> <file2> ... > result
   4 #
   5 # This simple script strips off all HTML comments except in the first file.
   6
   7 cat $1
   8
   9 shift
  10
  11 while [ $# -gt 0 ]; do
  12   cat $1 \
  13   | sed -e '/<!--.*-->/d' \
  14         -e '/<!--/,/-->/d'
  15   shift
  16 done
  17
  18 # eof