diff --git a/man/man1/mred.1 b/man/man1/mred.1 index c1c9f730..019e276e 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -180,7 +180,7 @@ Xresources in that file override any other resources settings. .SH BUGS Submit bug reports via .ce 1 -http://www.cs.rice.edu/CS/PLT/Gnats/ (encouraged) +http://www.cs.rice.edu/CS/PLT/Bugs/ (encouraged) or by e-mail to .ce 1 plt-bugs@cs.rice.edu (discouraged) diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1 index 639ff090..7083f71a 100644 --- a/man/man1/mzscheme.1 +++ b/man/man1/mzscheme.1 @@ -220,7 +220,7 @@ the on-line documentation has been installed locally. .SH BUGS Submit bug reports via .ce 1 -http://www.cs.rice.edu/CS/PLT/Gnats/ (encouraged) +http://www.cs.rice.edu/CS/PLT/Bugs/ (encouraged) or by e-mail to .ce 1 plt-bugs@cs.rice.edu (discouraged)