]> Savannah Git Hosting - gnulib.git/commit
doc: adjust to texinfo 7.1
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 8 Jan 2024 00:54:12 +0000 (16:54 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 8 Jan 2024 00:54:41 +0000 (16:54 -0800)
commit267184ec9a060c088e1feab717120e43911485e5
tree9f6b60c65df99cffbedee818a41ad1c5a187ace5
parentb6470fd8dcd72efcf8cae1eac63fa80189f27e61
doc: adjust to texinfo 7.1

* doc/Makefile (MAKEINFO): Adjust to texinfo 7.1, where makeinfo
by default outputs ASCII approximations to characters.
ChangeLog
doc/Makefile