> It assumes there is no @ in $1. Shouldn't be
> 
>      REPORT_BUGS_TEXI="@uref{`echo $1 | sed 's/@/@@/g'`}"

Seems fair, but please check all the users, they might be escaping the
value already.

Paolo

Reply via email to