From fd96a37abdd3058fa8ae9c1a12b7ed4e5f3287bb Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Wed, 26 Sep 2012 13:27:01 -0700 Subject: [PATCH] Fix recent typo in User Manual (again). --- doc/user-manual/user.texinfo | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo index c785dc799..e6942dedf 100644 --- a/doc/user-manual/user.texinfo +++ b/doc/user-manual/user.texinfo @@ -663,7 +663,6 @@ during loading are silently ignored. The following options allow arguments to be passed to scripts via the @code{command-line} procedure. -@ @deffn procedure command-line Returns a list of arguments (strings) gathered from the command-line by options like @code{--args} or @code{--}. -- 2.25.1