From 3621ef5c4205cdeb30c3a1a24088e68831bd7d09 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vincent=20Bela=C3=AFche?= Date: Thu, 16 Apr 2026 19:11:13 +0200 Subject: [PATCH] Add dependance of info file on source. Suppress also superfluous exta .info extension of info.info. --- doc/misc/Makefile.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 5eee5023f54..83f5d9fe135 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -1,3 +1,4 @@ + ### @configure_input@ # Copyright (C) 1994, 1996-2026 Free Software Foundation, Inc. @@ -159,6 +160,8 @@ ${buildinfodir}/%.info: ${srcdir}/%.texi ${gfdl} ${style} | ${buildinfodir} ## The short aliases, eg efaq = $(buildinfodir)/efaq.info. define info_template $(1): $$(buildinfodir)/$(1).info + +$$(buildinfodir)/$(1).info: $$(srcdir)/$(1).texi $$(gfdl) $$(style) endef ## "info" is already taken.