ci: add a check for HTML manual files#621

jodavies merged 1 commit intoform-dev:masterform-dev/form:masterfrom

tueda:ci-check-doc-htmltueda/form:ci-check-doc-htmlCopy head branch name to clipboard