From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1499) id 16B9E3858D26; Thu, 3 Nov 2022 17:57:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 16B9E3858D26 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1667498230; bh=pTEuo93M85KFwJmTQeAqdXROwePucgSxMdB3YERbqj4=; h=From:To:Subject:Date:From; b=dD/nSDK6TS4/QkU7t3Va3zxvA6cLcCMcmUhykR9gCGtpG4iTJ+k7rtC4Iaz/wvzlr yxymgV+yjt7k7m//4K9GvXEHCBUnpNlzxXzQ5qrtP1Ywls6XWOoHX3X/u065bO7ITo 9XAVtq4o0EioyfsRBWVEK41TinNhAOz9GoJq9xVs= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Gaius Mulley To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/modula-2] PR-107245 remove --no-headers from makeinfo. X-Act-Checkin: gcc X-Git-Author: Gaius Mulley X-Git-Refname: refs/heads/devel/modula-2 X-Git-Oldrev: b94c3d78cf15f8993ec01ef06997e1e425351c62 X-Git-Newrev: 09d45192ff8e3e5b759c705fe7a2cb6e3cf63d99 Message-Id: <20221103175710.16B9E3858D26@sourceware.org> Date: Thu, 3 Nov 2022 17:57:10 +0000 (GMT) List-Id: https://gcc.gnu.org/g:09d45192ff8e3e5b759c705fe7a2cb6e3cf63d99 commit 09d45192ff8e3e5b759c705fe7a2cb6e3cf63d99 Author: Gaius Mulley Date: Thu Nov 3 17:56:39 2022 +0000 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 Diff: --- 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 dc32a4d607a..9b030473750 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