I tried LaTeX2HTML and pandoc, with mixed results.
LaTeX2HTML took very long to install on my system (macOS 10.13.6, via MacPorts) producing results that are not immediately acceptable on the english manual file.
Pandoc produced a page that looks OK, but does not include all the pictures.
I haven't yet had the time to tweak the different settings to see if a feasible result can be obtained.
On the organizational point of view, I propose that a working version is kept in the master branch as a subdirectory of manual, while every time a new stable version is published the corresponding manual is promoted on the website.
An idea briefly discussed in #203.
I tried LaTeX2HTML and pandoc, with mixed results.
LaTeX2HTML took very long to install on my system (macOS 10.13.6, via MacPorts) producing results that are not immediately acceptable on the english manual file.
Pandoc produced a page that looks OK, but does not include all the pictures.
I haven't yet had the time to tweak the different settings to see if a feasible result can be obtained.
On the organizational point of view, I propose that a working version is kept in the master branch as a subdirectory of manual, while every time a new stable version is published the corresponding manual is promoted on the website.