man.output.manifest.filename — Name of manifest file
The man.output.manifest.filename parameter
specifies the name of the file to which the manpages manifest file
is written (if the value of the
man.output.manifest.enabled parameter is
non-zero).