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