HTML doc on windows
The following discussion from !265 (merged) should be addressed:
-
@jpouderoux started a discussion: (+3 comments) May be out of scope of this MR but quite related: it could be nice to generate a HTML file to be installed for Windows users.