- echo > nindex
- foreach i ($*:q)
- echo "/ $i /d" >> nindex
- end
- sed -f nindex index >xindex
- $b/vfontedpr $*:q | \
- /bin/sh -c "vtroff $t $wide -rx1 $o -i -mvgrind 2>> xindex"
- sort -df +0 -2 xindex >index
- rm nindex xindex
+ echo > nindex
+ foreach i ($files)
+ # make up a sed delete command for filenames
+ # being careful about slashes.
+ echo "? $i ?d" | sed -e "s:/:\\/:g" -e "s:?:/:g" >> nindex
+ end
+ sed -f nindex index >xindex
+ if ($f == 'filter') then
+ if ("$head" != "") then
+ $b/vfontedpr $options -h "$head" $files | cat $b/tmac/tmac.vgrind -
+ else
+ $b/vfontedpr $options $files | cat $b/tmac/tmac.vgrind -
+ endif
+ else
+ if ("$head" != "") then
+ $b/vfontedpr $options -h "$head" $files | \
+ /bin/sh -c "vtroff -rx1 $voptions -i -mvgrind 2>> xindex"
+ else
+ $b/vfontedpr $options $files | \
+ /bin/sh -c "vtroff -rx1 $voptions -i -mvgrind 2>> xindex"
+ endif
+ endif
+ sort -df +0 -2 xindex >index
+ rm nindex xindex