X-Git-Url: https://ruderich.org/simon/gitweb/?p=config%2Fdotfiles.git;a=blobdiff_plain;f=lib.sh;h=9d79b65b1d39524ec3a2b84f05d13cb002fd4f5b;hp=799560cbf72f68e4f126ea8b1b285893f3586643;hb=a3e64d7edcef3412cc64056510aacb046a2cc4a7;hpb=1812dfba95f61a3d3cc77a8d2130636353767686 diff --git a/lib.sh b/lib.sh index 799560c..9d79b65 100644 --- a/lib.sh +++ b/lib.sh @@ -99,9 +99,10 @@ warning() { # 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" @@ -114,7 +115,7 @@ generate() { # 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