man -k $k

From 13c0ff556759662b67c20fc12b9d31f041024da2 Mon Sep 17 00:00:00 2001 From: Nemo Inis Date: Fri, 21 Dec 2018 21:16:48 +0900 Subject: w3mman support for section number during keyword search Origin: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916968#5 --- scripts/w3mman/w3mman2html.cgi.in | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) (limited to 'scripts/w3mman/w3mman2html.cgi.in') diff --git a/scripts/w3mman/w3mman2html.cgi.in b/scripts/w3mman/w3mman2html.cgi.in index 2cd00f9..d660681 100644 --- a/scripts/w3mman/w3mman2html.cgi.in +++ b/scripts/w3mman/w3mman2html.cgi.in @@ -23,17 +23,23 @@ if ((! $query{"man"}) && (! $query{"local"})) { if ($query{"keyword"}) { $keyword = $query{"keyword"}; $k = &html_quote($keyword); + if ($query{"section"}) { + $section = $query{"section"}; + $sectionopt = "-s $section "; + } else { + $sectionopt = ""; + } print < -man -k $k +man $sectionopt-k $k -

man -k $k

man $sectionopt-k $k

) { chop; $_ = &html_quote($_); @@ -58,10 +64,10 @@ Content-Type: text/html -- cgit v1.2.3

Manual:	-
Section:	-
Keyword:	-
	+
Manual:	+
Section:	+
Keyword:	+