1#!/bin/sh 2 3# write the names of all existing doc files: 4# specifically, 'str' or 'str.fun' when the 5# corresponding Docfiles/str.fun.doc exists 6 7if [ $1 ] 8then 9 holdir=$1 10else 11 holdir="../.." 12fi 13 14ls -1 $holdir/help/Docfiles/*.doc | sed 's/.*s\/\([^/]\+\)\.doc/\1/' 15