On Mon, Sep 21, 2020 at 1:38 PM Gavin Smith
wrote:
> On Mon, Sep 21, 2020 at 12:17:35PM -0700, Raymond Toy wrote:
> > Using CSS is fine too for deffn and friends instead of anchor. But this
> > seems hard because I don't have a good way of figuring out where to put
> > such links. AFAICT, the l
On Mon, Sep 21, 2020 at 10:24:53PM +0200, Stefan Husmann wrote:
> Gavin Smith writes:
>
> > On Mon, Sep 21, 2020 at 5:46 PM wrote:
> >>
> >> Hello list,
> >>
> >> GNU Octave uses a quite complex build system for the documention, so I
> >> am not sure if this issue should be filed here or in the
