--- /dev/null
+#! /bin/bash
+dir1="16/wf3d8086"
+dir2="16/wolf3d/WOLFSRC"
+. ./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