[PATCH] Stop partial menu generation in INSTALL file

[Carlos O'Donell]

On 12/18/2013 09:32 AM, Allan McRae wrote:
> The commit d136c6dc resulted in menu text for the "Top" node being added
> to the INSTALL file on regeneration.  As the full menu is not displayed
> in the plain text file anyway, suppress the menu section completely to
> avoid the additional text.
> 
> Also regenerate the INSTALL file to commit a small formatting change
> introduced in the same commit.
> ---
> 
> I have included the INSTALL diff in the patch so that the minor
> formatting change is readily seen.
> 
> ChangeLog:
> 
> 2013-12-19  Allan McRae  <allan@archlinux.org>
> 
> 	* manual/install.texi: Suppress menu for plain text output.
> 	* INSTALL: Regenerated.

Looks good to me.

Cheers,
Carlos.