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