On 8/11/24 03:06, RVP wrote:
Add it to `_default':
```
$ diff -u /etc/man.conf{.orig,}
--- /etc/man.conf.orig 2024-01-29 23:14:46.000000000 +0000
+++ /etc/man.conf 2024-08-11 08:03:26.043097894 +0000
@@ -38,7 +38,7 @@
# directory with all of the subdirectories listed for the keyword
_subdir.
# default
-_default /usr/{share,X11R7,pkg,local}/man/
+_default /usr/{share,X11R7,pkg,local}/man/ /opt/lynx/share/man/
# Other sections that represent complete man subdirectories.
X11R7 /usr/X11R7/man/
$
```
-RVP
Yup. Perfect. Thank you.