From d48d31aa7fb7ebf9c05a5bfc4f3c40e022bda14f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 6 Jun 2003 16:02:35 +0000 Subject: [PATCH] . original commit: 48457a6bda28c0ad528aea95d661903bf74fe964 --- man/man1/mred.1 | 9 +++++---- man/man1/mzscheme.1 | 8 +++++--- 2 files changed, 10 insertions(+), 7 deletions(-) diff --git a/man/man1/mred.1 b/man/man1/mred.1 index 376172a1..b11c2c84 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -314,10 +314,11 @@ If the executable name has the form scheme-\|\c -qAerC '(require (lib "init.ss" "script-lang" "\|\c .I dialect\|\c "))' -so that the first actual command-line argument is the name of a file -to load; the file should define `main', which is called with the -remaining arguments in a list. - +In addition, the first command-line argument is duplicated, so that it +serves as both the name of a file and the first argument to that file; +the file should define +.BR main , +which is called with the arguments in a list. .SH FILES The file "~/.mredrc" is loaded before any provided diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1 index 8f01d5a7..508412e8 100644 --- a/man/man1/mzscheme.1 +++ b/man/man1/mzscheme.1 @@ -259,9 +259,11 @@ If the executable name has the form scheme-\|\c -qAerC '(require (lib "init.ss" "script-lang" "\|\c .I dialect\|\c "))' -so that the first actual command-line argument is the name of a file -to load; the file should define `main', which is called with the -remaining arguments in a list. +In addition, the first command-line argument is duplicated, so that it +serves as both the name of a file and the first argument to that file; +the file should define +.BR main , +which is called with the arguments in a list. .SH FILES The file "~/.mzschemerc" is loaded before any provided