On Sat, 2020-03-07 at 13:38 -0500, Nicholas Jankowski wrote:
> On Sat, Mar 7, 2020 at 1:03 PM Reinhard <address@hidden> wrote:
> > On Sat, 2020-03-07 at 11:26 -0500, Nicholas Jankowski wrote:
> > Yes, you can generate it with "make html" or you can download it
> > from
> > here: https://drive.google.com/open?id=1Z6xxcGDUfCdojfKua0Nz_MLn9WUuX5S
> > a
(please keep the maintainers list copied on emails, and bottom posting is the convention of the octave lists)
that link shows me a file tree, but just in a list view mode that I can't seem to actually do anything with (download individual html files, etc)