#! /bin/csh -f
#
# Make a permuted index.
#

set t = tmp

if ($#argv == 0) then
    foreach i (commands primitives library)
	cd $i
	/usr/lib/getNAME -t `ls *.{1,2i,3i} | sort -f` | sed \
	    -e 's/.TH.*	//' \

	cd ..
    end
else
    /usr/lib/getNAME -t $* | sort` | sed \
	-e 's/.TH.*	//' \

endif
