Re: Replace fonts used by texinfo?

[Jos� Romildo Malaquias]

On Sat, Mar 11, 2000 at 10:40:48AM -0500, Karl Berry wrote:
>     Is there any easy way of replacing the default fonts
>     used by texinfo, so that it uses the standard PostScript
>     fonts instead of the standard TeX fonts?
> 
> There's no easy way.
> 
> You can patch texinfo.tex to do it, of course.  Stephen Gildea has done
> that.  I could dig up the patch, or Stephen probably has it.

Is there any reference to the patched texinfo.tex done by Stephen Gildea
to deal with PostScript fonts that I can download?

Thanks

Romildo
-- 
Prof. Jos� Romildo Malaquias <[EMAIL PROTECTED]>
Departamento de Computa��o
Universidade Federal de Ouro Preto
Brasil