diff options
| -rw-r--r-- | doc/misc/eww.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/eww.texi b/doc/misc/eww.texi index 795556b922b..7726a8d3dc4 100644 --- a/doc/misc/eww.texi +++ b/doc/misc/eww.texi | |||
| @@ -251,7 +251,7 @@ variables @code{shr-color-visible-distance-min} and | |||
| 251 | In addition to maintaining the history at run-time, EWW will also | 251 | In addition to maintaining the history at run-time, EWW will also |
| 252 | save the partial state of its buffers (the URIs and the titles of the | 252 | save the partial state of its buffers (the URIs and the titles of the |
| 253 | pages visited) in the desktop file if one is used. @xref{Saving Emacs | 253 | pages visited) in the desktop file if one is used. @xref{Saving Emacs |
| 254 | Sessions, , emacs, The GNU Emacs Manual}. | 254 | Sessions,,, emacs, The GNU Emacs Manual}. |
| 255 | 255 | ||
| 256 | @vindex eww-desktop-remove-duplicates | 256 | @vindex eww-desktop-remove-duplicates |
| 257 | EWW history may sensibly contain multiple entries for the same page | 257 | EWW history may sensibly contain multiple entries for the same page |