6528232010-01-09Stephen R. van den Berg #!/bin/sh
c756df2014-02-26Arne Goedeke cat <<END /* File generated on `date`
6528232010-01-09Stephen R. van den Berg by getwhitespace <UnicodeData.txt */
a215142014-02-16Martin Nilsson  #define SPACECASE8 \\
c756df2014-02-26Arne Goedeke  case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\
a215142014-02-16Martin Nilsson  case 0x85:case 0xa0:
c756df2014-02-26Arne Goedeke END
6528232010-01-09Stephen R. van den Berg 
c756df2014-02-26Arne Goedeke cat <<END #define SPACECASE16 SPACECASE8 \\ END
6528232010-01-09Stephen R. van den Berg 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 ''