[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: changing font in texinfo

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]