app-text/man2html/files/mansearch-gentoo.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

diff -Naur man-1.5k/man2html/scripts/cgi-bin/man/mansearch man/man2html/scripts/cgi-bin/man/mansearch
--- man-1.5l/man2html/scripts/cgi-bin/man/mansearch	2002-07-17 15:20:42.000000000 +0100
+++ man/man2html/scripts/cgi-bin/man/mansearch	2003-02-28 11:56:41.000000000 +0000
@@ -69,11 +69,11 @@
   }
 				# Have to be careful to single quote this
 				# string later.
-  gsub(/[^a-zA-Z0-9-_+ \t\/@%:;,$*|]/, " ", string);
+  gsub(/[^a-zA-Z0-9\-_+ \t\/@%:;,$*|]/, " ", string);
 
   string = removeopts(string);
 
-  gsub(/[^a-zA-Z0-9-_+ \t\/@%:,]/, " ", options);
+  gsub(/[^a-zA-Z0-9\-_+ \t\/@%:,]/, " ", options);
 
   if (!string) {
     if (system("test -r " searchdocument ) != 0) {