Re: [Bug-dejagnu] [gnu.org #212314] Broken link on the dejagnu documentation page.

[Rob Savoye]

Derek Chen-Becker via RT wrote:

> > address@hidden - Tue Oct 12 19:18:50 2004]:
> >
> > The dejagnu html documentation page has a broken link.  The
> > link is on the page at address:
> >         http://www.gnu.org/software/dejagnu/manual/
> > If you follow the link marked "Abstract" whose target
> >    
 Thanks, I fixed the problem, and updated the manual on the web site. I 
like these easy ones.  :-)

   - rob -