From 09d45192ff8e3e5b759c705fe7a2cb6e3cf63d99 Mon Sep 17 00:00:00 2001 From: Gaius Mulley Date: Thu, 3 Nov 2022 17:56:39 +0000 Subject: [PATCH] PR-107245 remove --no-headers from makeinfo. Remove --no-headers from the invocation to makeinfo. gcc/m2/ChangeLog: * m2/Make-lang.in: Remove --no-headers from the invocation to makeinfo. Signed-off-by: Gaius Mulley --- gcc/m2/Make-lang.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/m2/Make-lang.in b/gcc/m2/Make-lang.in index dc32a4d607a6..9b0304737504 100644 --- a/gcc/m2/Make-lang.in +++ b/gcc/m2/Make-lang.in @@ -123,7 +123,7 @@ m2.pod: doc/gm2.texi $(TEXISRC) doc/m2.info: $(TEXISRC) if test "x$(BUILD_INFO)" = xinfo; then \ rm -f doc/m2.info*; \ - $(MAKEINFO) --no-headers -I$(objdir)/m2 -I$(srcdir)/doc/include \ + $(MAKEINFO) -I$(objdir)/m2 -I$(srcdir)/doc/include \ -o $@ $(srcdir)/doc/gm2.texi ; \ else true; fi -- 2.47.2