Subject: nnimap-shell-program is not documented

From: Nikolaus Rath <[email-masked]>
Date: Mon, 25 May 2015 09:17:38 -0700

Hello,

The Gnus manual (6.3.2) says that the 'nnimap-shell-program' variable
may be used to customize the shell command that's used to connect to the
remote server.

However, this variable is undocumented when passed to describe-variable,
in particular it does not say whether it's a regular variable or a
server variable.

Gnus v5.13
GNU Emacs 24.4.1 (x86_64-pc-linux-gnu, GTK+ Version 3.14.5)
 of 2015-03-07 on trouble, modified by Debian

Best,
-Nikolaus

-- 
GPG encrypted emails preferred. Key id: 0xD113FCAC3C4E599F
Fingerprint: ED31 791B 2C5C 1613 AF38 8B8A D113 FCAC 3C4E 599F

             »Time flies like an arrow, fruit flies like a Banana.«