Remove @dots from encode-time header.

diff --git a/lispref/os.texi b/lispref/os.texi
index 8d9793d79a5a7959031fe02640611fa3948358cc..6c698a55815d29c003e1f4e6197d34f4b7f739a8 100644 (file)
--- a/lispref/os.texi
+++ b/lispref/os.texi
@@ -1150,7 +1150,7 @@ Greenwich.
 @var{dow} and @var{zone}.
 @end defun
 
-@defun encode-time seconds minutes hour day month year &optional @dots{}zone
+@defun encode-time seconds minutes hour day month year &optional zone
 This function is the inverse of @code{decode-time}.  It converts seven
 items of calendrical data into a time value.  For the meanings of the
 arguments, see the table above under @code{decode-time}.