|Subject:||Re: changing font in texinfo|
|Date:||Tue, 29 Jan 2002 10:20:22 -0500|
how can I change default fonts used by texinfo.tex when processing texinfo source by tex ? There is no easy/supported way at present, you have to hack texinfo.tex.
|[Prev in Thread]||Current Thread||[Next in Thread]|