aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/lispintro/emacs-lisp-intro.texi2
-rw-r--r--doc/lispref/os.texi7
2 files changed, 5 insertions, 4 deletions
diff --git a/doc/lispintro/emacs-lisp-intro.texi b/doc/lispintro/emacs-lisp-intro.texi
index 0b0c0a167d9..1a1518b2c51 100644
--- a/doc/lispintro/emacs-lisp-intro.texi
+++ b/doc/lispintro/emacs-lisp-intro.texi
@@ -15599,7 +15599,7 @@ like this:
15599 (recursive-lengths-list-many-files 15599 (recursive-lengths-list-many-files
15600 (files-in-below-directory "/usr/local/src/emacs/lisp/")) 15600 (files-in-below-directory "/usr/local/src/emacs/lisp/"))
15601 '<) 15601 '<)
15602 (insert (format "%s" (current-time-string)))) 15602 (insert (current-time-string)))
15603@end ignore 15603@end ignore
15604 15604
15605@node Counting function definitions 15605@node Counting function definitions
diff --git a/doc/lispref/os.texi b/doc/lispref/os.texi
index 41753859e50..60697f2e29f 100644
--- a/doc/lispref/os.texi
+++ b/doc/lispref/os.texi
@@ -1313,9 +1313,10 @@ This function returns the current time and date as a human-readable
1313string. The format does not vary for the initial part of the string, 1313string. The format does not vary for the initial part of the string,
1314which contains the day of week, month, day of month, and time of day 1314which contains the day of week, month, day of month, and time of day
1315in that order: the number of characters used for these fields is 1315in that order: the number of characters used for these fields is
1316always the same, so you can reliably 1316always the same, although (unless you require English weekday or
1317use @code{substring} to extract them. You should count 1317month abbreviations regardless of locale) it is typically more
1318characters from the beginning of the string rather than from the end, 1318convenient to use @code{format-time-string} than to extract
1319fields from the output of @code{current-time-string},
1319as the year might not have exactly four digits, and additional 1320as the year might not have exactly four digits, and additional
1320information may some day be added at the end. 1321information may some day be added at the end.
1321 1322