GNUmakefile: add publish_doc target