Created attachment 217772 [details]
Wikiman - Offline interactive documentation search
Created attachment 217810 [details]
Git diff format suggested by email@example.com
Created attachment 218380 [details]
Update to 2.12.1-1
A commit references this bug:
Date: Mon Sep 28 20:16:01 UTC 2020
New revision: 550447
Wikiman is an offline search engine for manual pages, Arch Wiki, Gentoo
Wiki and other documentation.
Wikiman provides an easy interface for browsing documentation without the
need to be exact and connected to the internet. This is achieved by
utilizing full text search for wikis, partial name and description matching
for man pages, and fuzzy filtering for search results.
Submitted by: Filip Parag <firstname.lastname@example.org>
Thanks a lot!
I've cleaned up the patch a bit, hope you don't mind. Let me know if you'd prefer certain bits to be different or something.
> I've cleaned up the patch a bit, hope you don't mind.
> Let me know if you'd prefer certain bits to be different or something.
Thanks for adding the port!
I agree with the changes you made; they are now upstreamed:
(In reply to Filip Parag from comment #5)
It was a well prepared patch, so it was fun to integrate.