This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Numbering of dump files in documentation
- From: Richard Henderson <rth at redhat dot com>
- To: Josef Zlomek <zlomj9am at artax dot karlin dot mff dot cuni dot cz>
- Cc: Kazu Hirata <kazu at cs dot umass dot edu>, gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org
- Date: Tue, 8 Jul 2003 12:20:34 -0700
- Subject: Re: Numbering of dump files in documentation
- References: <20030703145414.GA30605@artax.karlin.mff.cuni.cz> <20030703.120150.11611192.kazu@cs.umass.edu> <20030704050659.GD31714@artax.karlin.mff.cuni.cz>
On Fri, Jul 04, 2003 at 07:06:59AM +0200, Josef Zlomek wrote:
> It would be better to remove the numbers from all -d?
Yes, I think so. Use @var{num} or something.
r~