bug#1947: 23.0.60; Please document use of `dired' with an explicit file list

[Eli Zaretskii]

> From: "Drew Adams" <drew.adams@oracle.com>
> Date: Sun, 10 Jul 2011 10:36:33 -0700
> Cc: 1947@debbugs.gnu.org
> 
> This is something that ordinary users should be made aware of.  Simply
> mentioning it in the doc string of `dired' is not sufficient.

I disagree.  Users are supposed to read _both_ doc strings and the
manual.  Therefore, something mentioned in the doc string does not
necessarily has to be described in the manual as well, especially if
it's an obscure feature used in special situations.

The manual is for describing things better, in more easily readable
form, without restrictions of doc string format.  But it doesn't have
to tell everything.