diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/docbook/scripts/strip-links.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docbook/scripts/strip-links.pl b/docs/docbook/scripts/strip-links.pl index dbbdceaabc..d89da23abe 100644 --- a/docs/docbook/scripts/strip-links.pl +++ b/docs/docbook/scripts/strip-links.pl @@ -7,7 +7,7 @@ while (<STDIN>) { chomp ($_); - $_ =~ s/\s*<URL:.*html.*>\s*//g; + $_ =~ s/\s*<URL:.*>\s*//g; print "$_\n"; } |