echo is not portable

backslashes in arguments to echo are undefined. more specifically, in
some implementations backslash escapes will be interpreted, in some they
won't. printf should be fine.

bin/getwhitespace.sh

 #!/bin/sh
 
-echo "/* File generated on `date`
+printf "/* File generated on `date`
 by getwhitespace <UnicodeData.txt */
 
 #define SPACECASE8							\\
@@ -8,7 +8,7 @@ by getwhitespace <UnicodeData.txt */
        case 0x85:case 0xa0:
 "
 
-echo '#define SPACECASE16	SPACECASE8 \'
+printf '#define SPACECASE16	SPACECASE8 '
 sed -n -e '
 s/^\([0-9A-Fa-f]*\);[^;]*;[^;]*;[^;]*;\([^;]*\);/\1 \2 /
 /;INFORMATION SEPARATOR /d