On Mon, Mar 26, 2007 at 09:13:30AM +0200, Paolo Bonzini wrote: > Please do this instead: > > REPORT_BUGS_TEXI=@uref{`echo "$BUGURL" | sed 's/@/@@/g'`} > Will it work with spaces in $BUGURL? H.J.