> +<pre>
> +git clone git://sources.redhat.com/git/gdb.git
> +</pre>
> +
>   I recently tried to remove most of sources.redhat.com occurrences in
>   gdb doc and the ARI web pages.

You're absolutely right, thanks for noticing. This was mindless
copy/pasting of intructions in an email.  Fixed with the attached.

-- 
Joel