[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-dejagnu] Re: Obsolete reference to Dejagnu on http://www.gnu.org/so

From: Gerald Pfeifer
Subject: [Bug-dejagnu] Re: Obsolete reference to Dejagnu on http://www.gnu.org/software/
Date: Thu, 15 Mar 2001 18:33:53 +0100 (CET)

On Wed, 14 Mar 2001, Paul Visscher wrote:
> The solution, per our server standards, suggest that index.html be
> renamed to dejagnu.html and then symlink index.html to dejagnu.html.

Okay, that sounds fine. In any case this problem should be fixed ASAP;

If the Dejagnu maintainers don't have time now, I suggest that one of
the GNU webmasters steps in.

Gerald "Jerry" address@hidden http://www.dbai.tuwien.ac.at/~pfeifer/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]