doc: adjust to texinfo 7.1 * doc/Makefile (MAKEINFO): Adjust to texinfo 7.1, where makeinfo by default outputs ASCII approximations to characters.
2024-01-07T16:54:12