6528232010-01-09Stephen R. van den Berg #!/bin/sh
65b2ed2014-02-25Arne Goedeke printf "/* File generated on `date`
6528232010-01-09Stephen R. van den Berg by getwhitespace <UnicodeData.txt */
a215142014-02-16Martin Nilsson  #define SPACECASE8 \\
19e4642014-02-25Per Hedbor  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 "
65b2ed2014-02-25Arne Goedeke printf '#define SPACECASE16 SPACECASE8 '
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 ''