On Tuesday, May 22 2012, Yao Qi wrote: > A lot users reference gdb html doc on sourceware.org, so it is not good > to give them a "page not found" error. I am happy to help on this, but > don't know what I can do. Same here. I can help if needed, I just found another page which is 404 on the server. -- Sergio