Makefile: replace hardcoded AsciiDoc commands for more generic ones