On 12/24/24 10:36 AM, Gavin Smith wrote:
Proper handling of links between manuals is one of the reasons that
"point your web browser at local HTML documentaion" is not a suitable
replacement for 'info'.
Having "point your web browser at local HTML documentaion" be an *option*
is a nice featur
On Tue, Dec 24, 2024 at 10:13:27AM -0800, Per Bothner wrote:
> On 12/24/24 9:50 AM, Gavin Smith wrote:
> > I mentioned info.js already in TODO.HTML.
> >
> >However, this system is only appropriate for online manuals, not for
> >locally installed manuals. The reason for this is that it onl
On 12/24/24 9:50 AM, Gavin Smith wrote:
I mentioned info.js already in TODO.HTML.
However, this system is only appropriate for online manuals, not for
locally installed manuals. The reason for this is that it only handles
one manual at a time and does not handle searching for a manual.
On Tue, Dec 24, 2024 at 09:14:13AM -0800, Per Bothner wrote:
> On 12/24/24 8:35 AM, Gavin Smith wrote:
> > I have raised an issue on the "yelp" bug tracker to contact
> > the yelp developers:
> >
> > https://gitlab.gnome.org/GNOME/yelp/-/issues/220
> >
> > Please let us know if anybody knows any
On 12/24/24 8:35 AM, Gavin Smith wrote:
I have raised an issue on the "yelp" bug tracker to contact
the yelp developers:
https://gitlab.gnome.org/GNOME/yelp/-/issues/220
Please let us know if anybody knows any other way that we should get in
touch with them. Also people may have other ideas
I have raised an issue on the "yelp" bug tracker to contact
the yelp developers:
https://gitlab.gnome.org/GNOME/yelp/-/issues/220
Please let us know if anybody knows any other way that we should get in
touch with them. Also people may have other ideas to share on the best
way forward on the "HTM
