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.