fixup

Author: moritz

htmlify.pl

@@ -107,7 +107,7 @@ (Bool :$debug, Bool :$typegraph = False)
                     next unless $heading ~~ / ^ [in | pre | post | circum | postcircum ] fix /;
                     my $what = ~$/;
                     my $operator = $heading.split(' ', 2)[1];
-                    %names{$operator}{$what} = "/language/operators#$what%20$operator";
+                    %names{$operator}{$what} = "/language/operators#$what%20" ~ uri_escape($operator);
 #                    %names{$operator}{$what} = "/op/$what/$operator;
                 }
             }
@@ -362,7 +362,7 @@ (Bool :$debug, Bool :$typegraph = False)
     }
     sub url($what, $name) {
         if %op-name.exists($what) {
-            "/language/operators#$what%20$name"
+            "/language/operators#$what%20" ~ uri_escape($name)
         }
         else {
             "/$what/$name";