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

[Gerald Pfeifer]

http://www.gnu.org/software/ has an obsolete link to Dejagnu:

The linked page, http://www.gnu.org/software/dejagnu/dejagnu.html, is
completely obsolete, while http://www.gnu.org/software/dejagnu/ is the
current state of the Dejagnu documentation.

Suggested fix: Make /software/dejagnu/dejagnu.html a symlink to index.html
in that directory or update the link on /software.

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