margin note on Unix Scripts at docs for --script flag

svn: r14542
This commit is contained in:
Matthew Flatt 2009-04-17 12:43:37 +00:00
parent 7d61c67bab
commit e95edcc82d

View File

@ -138,7 +138,11 @@ flags:
@item{@FlagFirst{p} @nonterm{file} @nonterm{u} @nonterm{path} :
@scheme[require]s @scheme[(planet #, @nontermstr{file}
#, @nontermstr{user} #, @nontermstr{pkg})].}
#, @nontermstr{user} #, @nontermstr{pkg})].
@margin-note{Despite its name, @DFlag{script} is not usually
used for Unix scripts. See @guidesecref["scripts"] for more
information on scripts.}}
@item{@FlagFirst{r} @nonterm{file} or @DFlagFirst{script}
@nonterm{file} : @scheme[load]s @nonterm{file} as a