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

[Gerald Pfeifer]

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
-- 
Gerald "Jerry" address@hidden http://www.dbai.tuwien.ac.at/~pfeifer/