Numbering of dump files in documentation

Richard Henderson rth@redhat.com
Tue Jul 8 19:31:00 GMT 2003


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~



More information about the Gcc mailing list