Initial commit.

scripts/definepath

+#!/bin/sh
+# usage: definepath top_srcdir prefix pp-symbol path
+#
+# Emit '#define pp-symbol "path"', where a leading prefix of path is removed.
+echo '#define '$3'                   "'"`$1/scripts/unprefix "$2" "$4"`"'"' \
+| sed 's/\(........................... \) *"/\1"/'

scripts/unprefix

+#!/bin/sh
+# usage: unprefix prefix path
+#
+# Print path, but if it starts with prefix, first remove the prefix.
+echo "$2" \
+| sed -e 's%^'"`echo $1|sed 's%//*$%%'`"'%%' -e tn -e q -e ':n' -e 's%^//*%%'