diff options
Diffstat (limited to 'app-text/man2html/files/manwhatis-gentoo.patch')
-rw-r--r-- | app-text/man2html/files/manwhatis-gentoo.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/app-text/man2html/files/manwhatis-gentoo.patch b/app-text/man2html/files/manwhatis-gentoo.patch new file mode 100644 index 000000000000..58c62a832198 --- /dev/null +++ b/app-text/man2html/files/manwhatis-gentoo.patch @@ -0,0 +1,16 @@ +--- man-1.5l/man2html/scripts/cgi-bin/man/manwhatis 2002-07-17 15:20:42.000000000 +0100 ++++ man/man2html/scripts/cgi-bin/man/manwhatis 2003-09-28 02:50:49.000000000 +0100 +@@ -100,9 +100,10 @@ + $1 = $1 ":"; + gsub(":", " ", $1); + +- find_cmd = "find " man_path " -maxdepth 1 -name whatis -printf '%p '"; +- find_cmd | getline whatis_files; +- close(find_cmd); ++ # find_cmd = "find " man_path " -maxdepth 1 -name whatis -printf '%p '"; ++ # find_cmd | getline whatis_files; ++ # close(find_cmd); ++ whatis_files = "/var/cache/man/whatis"; + + if (whatis_files == "") { + print "Content-type: text/html\n\n"; |