Fix error noted by Gerrit Holl (old; had been buried in my INBOX):

sequence repitition works just fine with long integers now, so we
should not say that only plain integers are allowed.

diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 46fdd6d35dabb3ba30fe9be723b9a433482ffac6..a7e635153af650db9480c8845a75304ac9cbfa64 100644 (file)
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -568,9 +568,9 @@ a_expr:         m_expr | aexpr "+" m_expr | aexpr "-" m_expr
 
 The \code{*} (multiplication) operator yields the product of its
 arguments.  The arguments must either both be numbers, or one argument
-must be a plain integer and the other must be a sequence.  In the
-former case, the numbers are converted to a common type and then
-multiplied together.  In the latter case, sequence repetition is
+must be an integer (plain or long) and the other must be a sequence.
+In the former case, the numbers are converted to a common type and
+then multiplied together.  In the latter case, sequence repetition is
 performed; a negative repetition factor yields an empty sequence.
 \index{multiplication}