Re: Correspondence between web-pages and Info-pages

[Kelly Dean]

Richard Stallman wrote:
> The idea of local installation of manuals is that installing a package
> installs its manuals permanently.
>
> A cache is transitory

That's why I wrote ⌜pin them there⌝.

> and it would be hard for package installation
> to put manuals there.

Using HTTP (not HTTPS) in your web browser, open one of the pages of the HTML 
versions of manuals on gnu.org. There, your browser just installed a local copy 
of that page, completely automatically. That's not hard.