#! /bin/csh -f
#
../bin/create-tags {*/*,*/*/*}.{cfg,elf,quy,thm}
