git: 3d42a18079 - main - search only for manual pages in latest release

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Wolfram Schneider <wosch_at_FreeBSD.org>
Date: Sat, 07 Jan 2023 16:53:37 UTC

The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/doc/commit/?id=3d42a1807975d1702a0e1aa5cb13cf5c5af7d76d

commit 3d42a1807975d1702a0e1aa5cb13cf5c5af7d76d
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2023-01-07 16:52:19 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2023-01-07 16:52:19 +0000

    search only for manual pages in latest release
    
    For base + ports manual pages, we have a different plugin
---
 website/themes/beastie/static/opensearch/man.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/themes/beastie/static/opensearch/man.xml b/website/themes/beastie/static/opensearch/man.xml
index 66ef43d85e..65b5975559 100644
--- a/website/themes/beastie/static/opensearch/man.xml
+++ b/website/themes/beastie/static/opensearch/man.xml
@@ -3,6 +3,6 @@
   <Description>FreeBSD Release Manual Pages</Description>
   <InputEncoding>UTF-8</InputEncoding>
   <Image width="16" height="16" type="image/x-icon">https://www.freebsd.org/favicon.ico</Image>
-  <Url type="text/html" method="get" template="https://www.freebsd.org/cgi/man.cgi?query={searchTerms}&amp;sourceid=opensearch"/>
+  <Url type="text/html" method="get" template="https://www.freebsd.org/cgi/man.cgi?sourceid=opensea&amp;manpath=freebsd-release&amp;query={searchTerms}" />
   <moz:SearchForm>https://www.freebsd.org/cgi/man.cgi</moz:SearchForm>
 </OpenSearchDescription>