On Sat, Jun 17, 2023 at 6:47 PM Sven Schreiber
<sven.schreiber@fu-berlin.de> wrote:

it seems to me that several files in this path are not up to date:
https://sourceforge.net/projects/gretl/files/manual/

Those files are generally kept in sync with the gretl release, and I
think that's the case at present. It's assumed that if people install
snapshots they'll get PDF files that are up to date with the snapshot.

That's true. But then there still is the problem I described, namely that the installed snapshot would have access to the current manual versions (in C:\Program Files\gretl\doc), but it doesn't use them, instead it apparently sees there's nothing under the $dotdir location (C:\Users\<username>\AppData\Roaming\gretl\doc) and proceeds to unnecessarily download the manuals from the internet.

To put it differently: If the snapshots install their files in location A, I would expect that they also check location A automatically, and not only location B.

Thanks

sven