[PATCH] Remove reference to undefined documentation node.

[Dominik Vogt]

On Wed, Aug 26, 2015 at 11:05:09AM +0100, Dominik Vogt wrote:
> This patch removes a menu entry that points to an undefined node
> in the documentation.  The faulty entry has been introduced with
> git commit id 3aabc45f2, subversion id 138bc75d-0d04-0410-96.  It
> looks like the entry is a remnant of an earlier version of the
> documentation introduced with that change.

Sorry, this patch is not good.  Please ignore; I'll look for a
different way to fix the warning.

Ciao

Dominik ^_^  ^_^

-- 

Dominik Vogt
IBM Germany