Thanks for your patch; I applied it with some minor changes. Please note that you don't need to submit patches to generated files (*.1 and *.info), that patches are customarily made against the development tree not a released tarball (which is probably why you thought you had to patch the generated files), and a ChangeLog entry is needed (I wrote one for you).
Please see https://gcc.gnu.org/contribute.html for more details; the better prepared your patch is, the easier it is to accept it ;-) Thanks! DJ
