Change spaces to symbols in names.

PR: 856

diff --git a/util/extract-names.pl b/util/extract-names.pl
index 744a8e2324e6cc7aaa2641d644ac2cfe1eeeafe8..35bd6ed84326f16ca6ffbdd7e99c8fa1b6a7cf1d 100644 (file)
--- a/util/extract-names.pl
+++ b/util/extract-names.pl
@@ -9,9 +9,11 @@ while(<STDIN>) {
     } elsif ($name) {
        if (/ - /) {
            s/ - .*//;
-           s/,[ \t]+/,/g;
-           s/^[ \t]+//g;
-           s/[ \t]+$//g;
+           s/,\s+/,/g;
+           s/\s+,/,/g;
+           s/^\s+//g;
+           s/\s+$//g;
+           s/\s/_/g;
            push @words, split ',';
        }
     }