The attached patch links the docstring of `compilation-finish-functions` to the info manual page documenting the string argument those functions receive.