#!/bin/sh # DATE=/bin/date TODAY="`$DATE +'%Y %m %d'`" # for machines who produce "1996 1 1" # TODAY="`$DATE +'19%y %m %d'`" # for machines who produce "96 1 1" # echo Content-type: text/html echo "" cat << EOF Simple Search Script
Search for Documents

Search for Documents that are not Organized at the Home Pages


Search String
(e.g, corpus, lexicon, text-to-speech, chinese)
Case Sensitivity: Ignore Case Case-Sensitive (/Chinese)
EOF