I know.  I just find the HTML more annoying to handle locally.

I know, I am strange :)

All the best



On Sun, Oct 22, 2023 at 7:42 PM Eli Zaretskii <eliz@gnu.org> wrote:

> > From: Marco Antoniotti <marcoxa@gmail.com>
> > Date: Sun, 22 Oct 2023 18:58:13 +0200
> > Cc: 66680@debbugs.gnu.org
> >
> > Understood.
> >
> > I like the PDF because it is "fully offline".  I am a cheap old geezer
> who does not like to be always
> > online and I have an almost three hours train commute :)
>
> ?? You can have both the HTML and the Info manuals on your local disk
> and use them when you are off-line.
>


-- 
Marco Antoniotti
Somewhere over the Rainbow