Fix recent typo in User Manual (again).

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index c785dc7997460de68321cb35b95050385bd0a250..e6942dedff6e529ec688009f882dd242b903eaed 100644 (file)
--- 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{--}.