:
# rebuild the patch html file from the directory contents
# 11Oct06 wb initial edit

rm -f pat.1-
mv -f pat.1 pat.1-
ls | grep -v '^pat\.' | dirtotxt.sh -d -f -s -t '[/copy]Patches' > pat.1
text2html.sh pat