man.output.manifest.enabled boolean man.output.manifest.enabled Generate a manifest file? If non-zero, a list of filenames for man pages generated by the stylesheet transformation is written to the file named by the man.output.manifest.filename parameter.