Created attachment 217772 [details]
Wikiman - Offline interactive documentation search
Created attachment 217810 [details]
Git diff format suggested by firstname.lastname@example.org
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 <email@example.com>
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.
Created attachment 221365 [details]
Version update to to 2.12.2
Changelog in update 2.12.2:
- Minor packaging and makefile fixes
- Updated sources
Minor version update 2.12.2
Thank you for the patch. Could you open a new report for this update? Otherwise other committers are not going to be notified about it. Thanks!
Here it is:
I'm sorry for not doing it right away — I thought that minor updates to the port can reuse the existing bug report.
Thanks for letting me know, so I don't make the same mistake in the future.
(In reply to Filip Parag from comment #10)
No worries, thanks again for your contribution!