Bruno Haible 93c20ba3c0 build: Ensure that makeinfo ≥ 6.8 checks the @menu structure ...

See <https://lists.gnu.org/r/bug-texinfo/2023-06/msg00015.html>.

* doc/Makefile.am (MAKEINFO): New variable.
* cfg.mk (_makefile_at_at_check_exceptions): New variable.

2023-06-24 17:52:51 -07:00

..

diagmeet.note

maint: quote 'like this' or "like this", not `like this'

2012-01-25 23:54:38 -08:00

diffutils.texi

doc: mention new SI prefixes

2023-06-20 15:50:20 -07:00

fdl.texi

maint: update copyright dates

2023-01-01 17:19:37 -08:00

Makefile.am

build: Ensure that makeinfo ≥ 6.8 checks the @menu structure

2023-06-24 17:52:51 -07:00