On 1 Feb 2022, at 11:22, Tatsuo Ishii wrote:
>> Hi, is there an easy way to download the html file of the manual. (I know
>> there is a PDF version).
>
> Down load the source tar ball. It includes the html file of the manual.
>
Some suggestions here, using wget:
https://stackoverflow.com/questions/17282915/how-to-download-an-entire-directory-and-subdirectories-using-wget
or an application such as SiteSucker, which exists for this purpose.
Nic