Broken CVS instructions at dejagnu webpage ?

Hi,

According to http://www.gnu.org/software/dejagnu/ in order to do a CVS 
checkout you need to do

$ cvs -z3 -d:ext:[email protected]:/cvsroot/dejagnu co dejagnu

On my system this did not work, as cvs stopped trying to connect to the 
CVS server. Setting CVS_RSH="ssh" in the environment, as indicated by the 
CVS usage guide (http://savanah.gnu.org/cvs/?group_id=38) allows cvs to 
work without a problem. Although it is not a major problem, perhaps
the instructions should be updated to:

$ CVS_RSH="ssh" cvs -z3 -d:ext:[email protected]:/cvsroot/dejagnu co dejagnu

to save people the three-minute hassle of looking up the correct way to do 
this... people can be very lazy sometimes (me not excluded) :-)


Regards,

Theodoros Kalamatianos