Hello, Here is a small patch reported by a user of Debian [1]. Could you please integrate? Thank you for your help. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=646847 Regards, -- Stéphane Aulery
--- dash.1.old 2014-11-10 12:30:45.305874210 +0100 +++ dash.1.new 2014-11-10 12:31:10.873999206 +0100 @@ -2322,7 +2322,7 @@ .Pa /etc/profile .El .Sh SEE ALSO -.Xr csh 1 , +.Xr chsh 1 , .Xr echo 1 , .Xr getopt 1 , .Xr ksh 1 ,
