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