# Get all necessary paths.
pwd=`pwd`
base=`dirname "$2"`
- source=`echo -n "$pwd/$1" | sed "s|$base/||"`
+ source=`echo "$pwd/$1" | sed "s|$base/||"`
target=`basename "$2"`
# Go to the directory where the link is going to be created.
# The following commands are possible; the file extension for the source file
# in brackets.
#
-# - m4 (.m4): pipe $2.m4 through m4 then write it to $2
-# - awk (.in): pipe $2.in through awk then write it to $2
-# - cat ($3): copy $2$3 to $2
+# - m4 (.m4): pipe $2.m4 through m4 then write it to $2
+# - awk (.in): pipe $2.in through awk then write it to $2
+# - perl (.in): pipe $2.in through perl then write it to $2
+# - cat ($3): copy $2$3 to $2
generate() {
# Get command and target file.
command="$1"
# extension.
if [ x"$command" = xm4 ]; then
extension=.m4
- elif [ x"$command" = xawk ]; then
+ elif [ x"$command" = xawk -o x"$command" = xperl ]; then
extension=.in
elif [ x"$command" = xcat ]; then
extension="$1" # is $3 in reality, $1 because of shifting