manual/tools/fignum_do.sh

#!/bin/csh -f
set ofile = `echo ${argv[1]}_fignum`
echo ${argv[1]}_fignum
awk -f ../tools/fignum.awk ${argv[1]} | \
sed s'/.*\(Figure[^<]*\).*/\1/'         \
> ${ofile}
1	#!/bin/csh -f
2	set ofile = `echo ${argv[1]}_fignum`
3	echo ${argv[1]}_fignum
4	awk -f ../tools/fignum.awk ${argv[1]} \| \
5	sed s'/.\(Figure[^<]\).*/\1/' \
6	> ${ofile}