Documentation: implement make target for asciidoc generation

Fixes #3230