# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 950904055 0
# Node ID 277138d0f9f14e1cf98b4e4e1eb826131070a90b
# Parent  6599247a653ea1c537cbbf6fb8b5785be181a9db
Remove @dots from encode-time header.

diff -r 6599247a653e -r 277138d0f9f1 lispref/os.texi
--- a/lispref/os.texi	Fri Feb 18 19:52:52 2000 +0000
+++ b/lispref/os.texi	Fri Feb 18 20:00:55 2000 +0000
@@ -1150,7 +1150,7 @@
 @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}.