lib/scripts/keywords
changeset 50714 2af9e4614ba4
parent 48864 3ee314ae1e0a
child 51274 cfc83ad52571
--- a/lib/scripts/keywords	Fri Jan 04 11:07:39 2013 +0100
+++ b/lib/scripts/keywords	Fri Jan 04 11:21:31 2013 +0100
@@ -87,13 +87,13 @@
 
 sub collect_keywords {
   while(<STDIN>) {
-    if (m/^Outer syntax keyword "([^"]*)" :: (\S*)/) {
+    if (m/^\fOuter syntax keyword "([^"]*)" :: (\S*)/) {
       my $name = $1;
       my $kind = $2;
       if (defined $convert_kinds{$kind}) { $kind = $convert_kinds{$kind} }
       &set_keyword($name, $kind);
     }
-    elsif (m/^Outer syntax keyword "([^"]*)"/) {
+    elsif (m/^\fOuter syntax keyword "([^"]*)"/) {
       my $name = $1;
       &set_keyword($name, "minor");
     }