Strip URL stuff, not only ending in .html

(This used to be commit 8bb4843f20c58bcf423bade3342beea61f2b35f7)

diff --git a/docs/docbook/scripts/strip-links.pl b/docs/docbook/scripts/strip-links.pl
index dbbdceaabccd9a267cd21e0f7ce6af5d9d72c189..d89da23abe97e1222c16ec07465125e9a68640a8 100644 (file)
--- 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";
 
 }