[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 2/2] doc: Pass CHECK_NORMAL_MENU_STRUCTURE to makeinfo
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [PATCH 2/2] doc: Pass CHECK_NORMAL_MENU_STRUCTURE to makeinfo |
|
Date: |
Tue, 25 Oct 2022 13:25:27 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
OK for master.
Thanks!
> ---
> doc/Makefile.am | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/doc/Makefile.am b/doc/Makefile.am
> index 1a2a1d7a..9c0303aa 100644
> --- a/doc/Makefile.am
> +++ b/doc/Makefile.am
> @@ -21,6 +21,8 @@ poke_TEXINFOS = fdl.texi pvm-insns.texi poke-settings.texi
> EXTRA_DIST = gen-pvm-insns.sh learn-poke-language-in-y-minutes.pk \
> poke2texi.pk
>
> +AM_MAKEINFOFLAGS = --set-customization-variable
> CHECK_NORMAL_MENU_STRUCTURE=true
> +
> # The description of PVM instructions is generated from the
> # libpoke/pvm.jitter file.