[PATCH] doc/ctf-spec.texi: Remove "@validatemenus off"

[H.J. Lu]

On Tue, Nov 9, 2021 at 1:29 PM Nick Alcock <nick.alcock@oracle.com> wrote:
>
> On 9 Nov 2021, H. J. Lu stated:
>
> > Remove @validatemenus from ctf-spec.texi, which has been removed from
> > texinfo by
>
> Thanks! But... does this mean we have to write all texinfo menus
> explicitly again, or does it mean we don't need to do it at all, ever?
> From your change, it seems it's the latter.
>
> (If the latter... wonderful! If the former, I curse the world.)

I am not a texinfo expert.  Since @validatemenus isn't used in GCC,
glibc nor binutils texinfo file, I assume that it isn't needed.

-- 
H.J.