--- /dev/null
+#! /bin/bash
+dir1="16/Catacomb3D"
+dir2="16/CatacombApocalypse"
+. ./src/util/qhead.sh $0
+echo ==== $dir1 ====
+grep "$1" "$dir1"/*.C
+grep "$1" "$dir1"/*.H
+echo ==== $dir2 ====
+grep "$1" "$dir2"/*.C
+grep "$1" "$dir2"/*.H
+. ./src/util/qfoot.sh $0