#!/bin/csh -f
set file = $1
set rootname = $file:r
set filename = $rootname.tex
set objfile = $rootname.obj
if (-e $filename) then
examples $filename >! $objfile
obj <<eoi
in $objfile
eoi
endif