diff --git a/man/man1/mred.1 b/man/man1/mred.1 index 2893f6f7..56ad3f4c 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -170,6 +170,13 @@ Like -r, but also sets the directory. Same as .BR -dmv- . .TP +.B \-u +.TP +.B --require-script +Like -r, but requires a module. +Same as +.BR -tmv- . +.TP .B \-Z .TP .B \--nogui diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1 index 7e9fdd90..107476db 100644 --- a/man/man1/mzscheme.1 +++ b/man/man1/mzscheme.1 @@ -130,6 +130,15 @@ Like -r, but also sets the directory. Same as .BR -dmv- . .TP +.B \-u +.TP +.B --require-script +Like -r, but requires a module. +Same as +.BR -tmv- . +.TP +.B \-i +.TP .B \-w .TP .B \--awk