charset: replace delete character by symbol substitute

Like other ASCII control characters, represent U+007F by more readable
representation U+2421 SYMBOL FOR DELETE.

diff --git a/tools/mkcharinfo b/tools/mkcharinfo
index c6c890011abb33a33a873de67c9edaa4a40c9a59..27c11d93bcf53b34c50fdc3d895900cc1579c16c 100755 (executable)
--- a/tools/mkcharinfo
+++ b/tools/mkcharinfo
@@ -105,7 +105,9 @@ for my $chr (keys %info) {
                                ? '<'.$info->{unicode10}.'>'  # the old name was much more useful
                                : sprintf('<control U+%04X>', $cp);  # at least identify by value
                        # show descriptive symbols instead of control chars themselves
                                ? '<'.$info->{unicode10}.'>'  # the old name was much more useful
                                : sprintf('<control U+%04X>', $cp);  # at least identify by value
                        # show descriptive symbols instead of control chars themselves

-                       $info->{string} = $cp < 32 ? chr($cp + 0x2400) : chr(0xFFFD);
+                       $info->{string} = $cp < 32   ? chr($cp + 0x2400) :
+                                         $cp == 127 ? chr(0x2421) :
+                                                      chr(0xFFFD);

                }
        }
 
                }
        }