#!/bin/csh -f

set infodir=/usr/share/info 
set tmpfile=/usr/tmp/infovi.$$

if ( ! -d $infodir ) then
    echo "Can't find $infodir"
    exit 1
endif

pushd $infodir >& /dev/null
sleep 0 > $tmpfile
foreach i ( $1* )
    echo $i..
    gunzip -c $i | egrep -v '^File:|Node:|Ref:' >> $tmpfile
end
popd >& /dev/null

if ( $?EDITOR ) then
    $EDITOR $tmpfile
else
    vi $tmpfile
endif
rm $tmpfile