Re: docs refer to "desktop-save", but there's no such command

[Lars Hansen]

Richard Stallman wrote:

>    But I typed M-x desktop-save TAB, and was offered only these completions:
>
>       Possible completions are:
>       desktop-save-in-desktop-dir        desktop-save-mode
>
>Had you already turned on the desktop feature when you tried this?
>
>desktop-save is not autoloaded.  The reason is that
>it is only useful once you have already started
>using the desktop feature, and that means desktop is loaded.
>  
>
Actually desktop-save *is* useful even if desktop-save-mode is off: You
can use the desktop library "manually", i.e. call desktop-save and
desktop-read explicitly (interactively) only.
I have added an autoload cookie to desktop-save.
Thanks for the bug report.