doc/Makefile: generate single-file manuals in the document root.