#! /bin/sh

thisdir=`pwd`
cd defs
list=`ls`
cd $thisdir
titlist=
for i in $list
do
 tit=`head -1 defs/$i`
 titlist="$titlist$tit
"
done

cat <<@ >defindex
:$list
:$titlist
@

