1 files changed, 22 insertions, 0 deletions
diff --git a/xorg-server/xkbdata.src/rules/merge.sh b/xorg-server/xkbdata.src/rules/merge.sh
new file mode 100644
index 000000000..8dfde5546
--- /dev/null
+++ b/xorg-server/xkbdata.src/rules/merge.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+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
+  else
+    cat $i >> $DEST;
+  fi
+done < $HDR
+