--- /dev/null
+#!/bin/sh
+SCRIPT=`basename $0`
+die() {
+ echo "Usage: $SCRIPT FILE"
+ echo "$*"
+ exit 1
+}
+[ $# -eq 1 ] || die "Found $# ARGS not 1"
+[ -f $1 ] || die "No FILE $1"
+grep "@@" $1 | sed -e 's/[^@]*@@//' -e 's/@@[^@]*//' | sort | uniq
--- /dev/null
+#!/bin/sh
+SCRIPT=`basename $0`
+die() {
+ echo "Usage: $SCRIPT NAME"
+ echo " where NAME.in is a file"
+ echo "$*"
+ exit 1
+}
+set -e
+[ $# -eq 1 ] || die "Found $# ARGS not 1"
+NAME=$1
+shift
+[ -f $NAME.in ] || die "No FILE $NAME.in"
+echo "$NAME: $NAME.in"
+echo ' sed -e \'
+for var in `findVars $NAME.in`
+do
+ echo ' "s%@@'$var'@@%$('$var')%g" \'
+done
+echo ' $< > $@'