On Fri, Aug 31, 2001 at 05:10:06PM +0200, Lars Gullik Bjønnes wrote:
> Andre Poenitz <[EMAIL PROTECTED]> writes:
>
> | On Fri, Aug 31, 2001 at 03:18:15PM +0100, Angus Leeming wrote:
> |
> | > Maybe this info should go in the INSTALL?
> |
> | Probably ;-}
>
> I am getting more and more reluctant to this symbol change...
> how much manual config does the user have to do to make this work?
I can make sure it works out of the box on Debian: which will be nice
for all the Debian users of LyX out there (quite a lot, I think).
Debian has been doing some work on integrating the various sources of
fonts, so I don't think it should be too hard.
Jules
