On Tuesday 24 June 2003 14:51, Tzafrir Cohen wrote: > Add those fonts to your fontconfig. > > Take a look at /etc/fonts/fonts.conf . See how existing directories are > configured, and add. Though you should generqally change only > /etc/fonts/local.conf
Thanks. It worked, but I do wonder why ussuch a relatively complex system. I find the old plaintext so much more attractive. If we must have XML, shouldn't it come with a handy documentation and a tool to make editing easy AND A BIG FAT WARNING: "YOUR EXISTING FONTSETTINGS WILL BE LOST". Or, for the ones who prefer small type, simply a conversion utility so that, the first time around, the info will be saved in a local.conf file. All the best, Arie -- It is absurd to seek to give an account of the matter to a man who cannot himself give an account of anything; for insofar as he is already like this, such a man is no better than a vegetable. -- Book IV of Aristotle's Metaphysics ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]