diff options
Diffstat (limited to 'xorg-server/xkbdata.src/rules/merge.sh')
-rw-r--r-- | xorg-server/xkbdata.src/rules/merge.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/xorg-server/xkbdata.src/rules/merge.sh b/xorg-server/xkbdata.src/rules/merge.sh deleted file mode 100644 index b18af7c3d..000000000 --- a/xorg-server/xkbdata.src/rules/merge.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh - -INDIR=`dirname $0` -DEST=$1 -shift - -if [ -z "$HDR" ]; then - HDR="HDR" -fi - -basename=`basename $0` -echo "// DO NOT EDIT THIS FILE - IT WAS AUTOGENERATED BY $basename FROM rules/*.part" >$DEST - -for i in $*; do - if [ "$i" = "$HDR" ] || [ "$i" = "HDR" ]; then - echo >> $DEST; - read hdr - echo "$hdr" >> $DEST - elif test -f $i; then - cat $i >> $DEST || exit 1 - else - cat $INDIR/$i >> $DEST || exit 1 - fi -done < $HDR - |