install-file-in-docs macro-in-comment