[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnupress] Using GCC font changed?
|
From: |
Simon Law |
|
Subject: |
Re: [Bug-gnupress] Using GCC font changed? |
|
Date: |
Fri, 30 May 2003 18:07:45 -0400 |
|
User-agent: |
Mutt/1.3.28i |
On Fri, May 30, 2003 at 04:33:25PM -0400, Lisa M. Opus Goldstein wrote:
> Has the font already been changed in the official texinfo?
No. It is a hack right now, and I have no time to actually
implement the feature correctly in GNU Texinfo. Please use the provided
.tex files in GNU Press's CVS tree.
Simon