From 03c9d8eba54aadac6ea56f52be8c5033945cadb4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 28 Dec 2001 15:51:23 +0000 Subject: [PATCH] . original commit: 2885cd56cc90b1deabfcb7a1a96e49d57aa2b40e --- man/man1/mred.1 | 7 ++++++- man/man1/mzscheme.1 | 5 +++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/man/man1/mred.1 b/man/man1/mred.1 index db5e18ef..2893f6f7 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -205,7 +205,12 @@ Does not try to set current-library-collection-paths. .B \-q .TP .B \--no-init-file -Does not try to load "~/.MrEdrc". +Does not try to load "~/.mredrc". +.TP +.B \-A +.TP +.B \--no-argv +Does not set `argv' or `program'. .PP Language setting switches: diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1 index 5dd69ad6..7e9fdd90 100644 --- a/man/man1/mzscheme.1 +++ b/man/man1/mzscheme.1 @@ -155,6 +155,11 @@ Does not try to set current-library-collection-paths. .TP .B \--no-init-file Does not try to load "~/.mzschemerc". +.TP +.B \-A +.TP +.B \--no-argv +Does not set `argv' or `program'. .PP Language setting switches: