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).