|
| From: | Karl Berry |
| 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] |