bin/getwhitespace.sh
#!/bin/sh
cat <<END
/* File generated on `date -I` by getwhitespace <UnicodeData.txt */
#define SPACECASE8 \\
case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\
case 0x85:case 0xa0:
END
cat <<END
#define SPACECASE16 SPACECASE8 \\
END
sed -n -e '
s/^\([0-9A-Fa-f]*\);[^;]*;[^;]*;[^;]*;\([^;]*\);/\1 \2 /
/;INFORMATION SEPARATOR /d
/^[^;]* [SB] / p
/^[^;]* [WS]S / p
/^[^;]* CS <[^>]*> 0020;/ p
' | sed -e '
y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/
/^00/ d
s/^\([^ ]*\) .*$/case 0x\1:\\/
'
echo ''