Subject: bug#36186: 26.2.90; texinfmt: @uref{can't use @@ in its operand}

From: Lars Ingebrigtsen <[email-masked]>
Date: Tue, 09 Jul 2019 04:03:05 +0200

Katsumi Yamaoka <[email-masked]> writes:

> (with-temp-buffer
>   (insert "@setfilename test.info\n"
> 	  "@uref{mailto:foo@@example.com}")
>   (texinfo-format-buffer))
>
> The cause of both the errors is that the `texinfo-format-uref'
> function moves point to the beginning of its formatted text,
> texinfmt tries to format it again, and "@" (formatted "@@") is
> treated as a command.

Makes sense.  I've now applied your patch to the trunk and checked that
the .info files are generated without any warnings.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no