diff options
| -rwxr-xr-x | dist/addsrclinks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/addsrclinks b/dist/addsrclinks index f0311aa8..9f87b8a1 100755 --- a/dist/addsrclinks +++ b/dist/addsrclinks @@ -3,7 +3,7 @@ @_ = <>; my $root = $ENV{'PLAN9'}; my $html = join("", @_); -$html =~ s;$root;XXX$root;g; +$html =~ s;$root/;XXX$root/;g; while($html =~ /((.|\n)*)XXX($root\/([a-zA-Z0-9_.\/]|−)*[a-zA-Z0-9_\/])((.|\n)*)/){ ($a, $b, $c) = ($1, $3, $5); $b =~ s/−/-/g; |