diff options
| author | Vincent Belaïche <vincentb1@users.sourceforge.net> | 2026-04-16 19:11:13 +0200 |
|---|---|---|
| committer | Vincent Belaïche <vincentb1@users.sourceforge.net> | 2026-05-29 09:25:14 +0200 |
| commit | 3621ef5c4205cdeb30c3a1a24088e68831bd7d09 (patch) | |
| tree | 38323018bdd7ee97675e81b4d1ef9af58eec94c2 /doc | |
| parent | 0a5e69eaef780e66a88bb6eca4e369b5e337245b (diff) | |
Add dependance of info file on source.
Suppress also superfluous exta .info extension of info.info.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
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. |