#!/bin/sh
LEN=`wc -l CONTENTS|awk '{print $1}'`
cat << EOF
--- linux/CONTENTS	Thu Jan  1 01:00:00 1970
+++ linux/CONTENTS	Thu Jan  1 01:00:00 1970
@@ -0,0 +1,$LEN @@
EOF
sed -e 's/^/+/' < CONTENTS