gettext
5b36b041
- build: Ensure that makeinfo ≥ 6.8 checks the @menu structure.
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 year ago
build: Ensure that makeinfo ≥ 6.8 checks the @menu structure. See <https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>. * gettext-tools/doc/Makefile.am (MAKEINFO): Add option "-c CHECK_NORMAL_MENU_STRUCTURE=1".
Author
bhaible
Parents
3c7e67be
Loading