diff options
| author | Glenn Morris | 2014-12-09 18:24:33 -0500 |
|---|---|---|
| committer | Glenn Morris | 2014-12-09 18:24:33 -0500 |
| commit | c54f8f8aebe27089a1f84d9fc24b37c93762a7e5 (patch) | |
| tree | 96d2ec597c78624d9d03c471b875cb47b33ccae0 | |
| parent | 08a980a4007fe7543cdc47af072dfbd834319927 (diff) | |
| download | emacs-c54f8f8aebe27089a1f84d9fc24b37c93762a7e5.tar.gz emacs-c54f8f8aebe27089a1f84d9fc24b37c93762a7e5.zip | |
eww.texi: Add missing "."
| -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 e6221ceb755..c8118d14638 100644 --- a/doc/misc/eww.texi +++ b/doc/misc/eww.texi | |||
| @@ -237,7 +237,7 @@ variables @code{shr-color-visible-distance-min} and | |||
| 237 | In addition to maintaining the history at run-time, EWW will also | 237 | In addition to maintaining the history at run-time, EWW will also |
| 238 | save the partial state of its buffers (the URIs and the titles of the | 238 | save the partial state of its buffers (the URIs and the titles of the |
| 239 | pages visited) in the desktop file if one is used. @xref{Saving Emacs | 239 | pages visited) in the desktop file if one is used. @xref{Saving Emacs |
| 240 | Sessions, , emacs, The GNU Emacs Manual} | 240 | Sessions, , emacs, The GNU Emacs Manual}. |
| 241 | 241 | ||
| 242 | @vindex eww-desktop-remove-duplicates | 242 | @vindex eww-desktop-remove-duplicates |
| 243 | EWW history may sensibly contain multiple entries for the same page | 243 | EWW history may sensibly contain multiple entries for the same page |