Hi Petr, On Fri, Apr 26, 2024 at 08:03:38PM +0200, Petr Vorel wrote: > Obviously have files outside of man/ directory would be better than having to cd > to one extra directory. But if you symlink it it should be ok. Yep, I don't know how I didn't think of a symlink until recently. :-) I think this should be fine. Anyway, I'll wait a little bit to give the chance to others to speak. Thanks for your feedback! > But you know the source more than me. Have a lovely night! Alex --