From ecad5706b78aaca562a8894e4608caa9f383efa3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 29 Dec 2001 17:59:32 +0000 Subject: [PATCH] . original commit: abe88ab272e84bb6827fff813818e4f1ebf8fc31 --- man/man1/mred.1 | 7 +++++++ man/man1/mzscheme.1 | 9 +++++++++ 2 files changed, 16 insertions(+) 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