#!/bin/csh -f
find figsub -name extracted_html -exec ../tools/fignum_do.sh {} \;