emit helpernotfound

2009-11-14 10:25:12 +00:00
parent 6ef7b546f2
commit b8b7cbb850
3 changed files with 17 additions and 4 deletions
@@ -83,7 +83,7 @@ umask 77
 # !! Leave the following line unmodified !
 #ENDRECFILTCOMMONCODE

-checkcmds awk
+checkcmds sed
 echo '<html><head><title></title></head><body><pre>'

 sed -e 's/\&/\&amp;/g' -e 's/</\&lt;/g' "$infile"