This is an extension of #2301. However, this one is a bit harder - mandoc doesn't appear to have reproducible output, particularly around dates. Anyway, the relevant script is `scripts/generate-html-docs.sh` (which should really be `.bash` but anyway).
Tech debt: keep mandoc html up to date
This is a GitHub Issue
repo:wabt
owner:WebAssembly
Title : Tech debt: keep mandoc html up to date
Issue date:

--- start body ---
This is an extension of #2301. However, this one is a bit harder - mandoc doesn't appear to have reproducible output, particularly around dates. Anyway, the relevant script is `scripts/generate-html-docs.sh` (which should really be `.bash` but anyway).
--- end body ---

None