error: --generate-link-to-definition option can only be used with HTML output format