diff options
| author | Lars Ingebrigtsen | 2020-10-07 05:05:20 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2020-10-07 05:05:20 +0200 |
| commit | 95c7aa96af9f5f92d69bb856be8632e4a1ca15f2 (patch) | |
| tree | a9d5cbdccb71f373d44fc739f12acc6125848c8e | |
| parent | cc70a7b7a823fa3c886bca1374bafdfb2662a952 (diff) | |
| download | emacs-95c7aa96af9f5f92d69bb856be8632e4a1ca15f2.tar.gz emacs-95c7aa96af9f5f92d69bb856be8632e4a1ca15f2.zip | |
Remove reference to outdated Gnus variable from the manual
* doc/misc/gnus.texi (Startup Variables): Remove reference to
gnus-use-backend-marks, which was removed in 2011 (bug#43833).
| -rw-r--r-- | doc/misc/gnus.texi | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/misc/gnus.texi b/doc/misc/gnus.texi index ee20d28ce66..f356dfe4d05 100644 --- a/doc/misc/gnus.texi +++ b/doc/misc/gnus.texi | |||
| @@ -1737,12 +1737,6 @@ of doing your job. Note that this variable is used before | |||
| 1737 | @vindex gnus-no-groups-message | 1737 | @vindex gnus-no-groups-message |
| 1738 | Message displayed by Gnus when no groups are available. | 1738 | Message displayed by Gnus when no groups are available. |
| 1739 | 1739 | ||
| 1740 | @item gnus-use-backend-marks | ||
| 1741 | @vindex gnus-use-backend-marks | ||
| 1742 | If non-@code{nil}, Gnus will store article marks both in the | ||
| 1743 | @file{.newsrc.eld} file and in the backends. This will slow down | ||
| 1744 | group operation some. | ||
| 1745 | |||
| 1746 | @end table | 1740 | @end table |
| 1747 | 1741 | ||
| 1748 | 1742 | ||