diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/autotype.texi | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/misc/autotype.texi b/doc/misc/autotype.texi index 839782a3b51..6bdbd344c7a 100644 --- a/doc/misc/autotype.texi +++ b/doc/misc/autotype.texi | |||
| @@ -531,15 +531,17 @@ then @code{time-stamp} is conveniently listed as an option in the | |||
| 531 | customization buffer. | 531 | customization buffer. |
| 532 | 532 | ||
| 533 | @vindex time-stamp-active | 533 | @vindex time-stamp-active |
| 534 | @findex time-stamp-toggle-active | ||
| 534 | @vindex time-stamp-format | 535 | @vindex time-stamp-format |
| 535 | @vindex time-stamp-start | 536 | @vindex time-stamp-time-zone |
| 536 | The time stamp is updated only if the customizable variable | 537 | The time stamp is updated only if the customizable variable |
| 537 | @code{time-stamp-active} is on, which it is by default; the command | 538 | @code{time-stamp-active} is on, which it is by default; the command |
| 538 | @code{time-stamp-toggle-active} can be used to toggle it. The format of | 539 | @code{time-stamp-toggle-active} can be used to toggle it. The format of |
| 539 | the time stamp is set by the customizable variable | 540 | the time stamp is set by the customizable variables |
| 540 | @code{time-stamp-format}. | 541 | @code{time-stamp-format} and @code{time-stamp-time-zone}. |
| 541 | 542 | ||
| 542 | @vindex time-stamp-line-limit | 543 | @vindex time-stamp-line-limit |
| 544 | @vindex time-stamp-start | ||
| 543 | @vindex time-stamp-end | 545 | @vindex time-stamp-end |
| 544 | @vindex time-stamp-count | 546 | @vindex time-stamp-count |
| 545 | @vindex time-stamp-inserts-lines | 547 | @vindex time-stamp-inserts-lines |