This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [doc, committed] clean up redundant cpp option documentation

From: Eric Botcazou <ebotcazou at adacore dot com>
To: Sandra Loosemore <sandra at codesourcery dot com>
Cc: gcc-patches at gcc dot gnu dot org
Date: Mon, 26 Dec 2016 19:19:40 +0100
Subject: Re: [doc, committed] clean up redundant cpp option documentation
Authentication-results: sourceware.org; auth=none
References: <586068EF.8030008@codesourcery.com> <6898274.a7gBuGsFPU@arcturus.home> <58615DD8.6000306@codesourcery.com>

> This is very strange; I didn't get that error.  We've got makeinfo 6.1
> (Feb 2016) installed here.  Are you using a newer or older version?

It's makeinfo 4.13 (from the vendor).

-- 
Eric Botcazou

Follow-Ups:
- Re: [doc, committed] clean up redundant cpp option documentation
  - From: Sandra Loosemore

References:
- [doc, committed] clean up redundant cpp option documentation
  - From: Sandra Loosemore
- Re: [doc, committed] clean up redundant cpp option documentation
  - From: Eric Botcazou
- Re: [doc, committed] clean up redundant cpp option documentation
  - From: Sandra Loosemore

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]