The HTML of the documentation site should be built as part of the release process
Actual behavior
The markdown of the documentation is updated, but not the HTML. This is because the Makefile doesn't run build as a target as part of the release process.
Expected behavior
The HTML of the documentation site should be built as part of the release process
Actual behavior
The markdown of the documentation is updated, but not the HTML. This is because the Makefile doesn't run
buildas a target as part of the release process.