summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVincent Belaïche <vincentb1@users.sourceforge.net>2026-05-30 16:28:55 +0200
committerVincent Belaïche <vincentb1@users.sourceforge.net>2026-05-31 14:22:33 +0200
commit1f662e2ab70486f7051ebc890620393e2a8879d9 (patch)
tree1c1d43f8abd99341070561c159499f08ca0a266c
parentc44f7ada0c01c3b0b774f6e6b7ed85d29e4887a0 (diff)
; * m4/texinfo.m4 (gl_SET_MAKEINFO): Fix introductory comment.
-rw-r--r--m4/texinfo.m43
1 files changed, 2 insertions, 1 deletions
diff --git a/m4/texinfo.m4 b/m4/texinfo.m4
index 251d039df2c..231d0b35736 100644
--- a/m4/texinfo.m4
+++ b/m4/texinfo.m4
@@ -12,7 +12,8 @@ AC_REQUIRE([gl_SET_DOCMISC_W32])
AC_REQUIRE([gl_SET_DOCLANGS])
])
dnl
-dnl gl_FIND_MAKEINFO
+dnl gl_SET_MAKEINFO
+dnl set the MAKEINFO precious variable to the suitable makeinfo compiler.
AC_DEFUN([gl_SET_MAKEINFO],[dnl
[## Require makeinfo >= 4.13 (last of the 4.x series) to build the manuals.
: ${MAKEINFO:=makeinfo}