On 20/12/2025 21:50, Egmont Koblinger wrote:
On Sat, Dec 20, 2025 at 10:43 PM Collin Funk <[email protected]> wrote:
my preference is for using local file:// urls.
I agree with you.
+1
Maybe: Check runtime whether the local documentation is indeed
installed at the expected location (just a stat() or alike). If it is,
point to that. Otherwise (e.g. a distribution splits it to a different
package which the user chose not to install) point to the web.
Oh right, we could do it dynamically. Hmm.
I'll work with the main distros for the next release
to install html by default.
cheers,
Padraig
