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? Thanks. Romildo -- Prof. Jos� Romildo Malaquias <[EMAIL PROTECTED]> Departamento de Computa��o Universidade Federal de Ouro Preto Brasil
- Re: Replace fonts used by texinfo? Jos� Romildo Malaquias
- Re: Replace fonts used by texinfo? Karl Berry
- Re: Replace fonts used by texinfo? Jos� Romildo Malaquias
- Re: Replace fonts used by texinfo? Karl Berry
