]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
PR-107245 remove --no-headers from makeinfo.
authorGaius Mulley <gaiusmod2@gmail.com>
Thu, 3 Nov 2022 17:56:39 +0000 (17:56 +0000)
committerGaius Mulley <gaiusmod2@gmail.com>
Thu, 3 Nov 2022 17:56:39 +0000 (17:56 +0000)
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 <gaiusmod2@gmail.com>
gcc/m2/Make-lang.in

index dc32a4d607a67e7656681245c5c376b820042e37..9b030473750466c9cffbfcbcc82537e5c8697431 100644 (file)
@@ -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