[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Eli Zaretskii |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Wed, 21 Oct 2020 17:54:09 +0300 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
> Date: Wed, 21 Oct 2020 13:31:01 +0200
>
> In Emacs, the file INSTALL recommends to install
> intlfonts-VERSION.tar.gz. Might be sufficient, but without further
> instruction I doubt every Emacs user will be able to follow.
intlfonts are bitmapped (BDF) fonts, so I don't think nowadays they
will be considered as a satisfactory solution. They are GNU software,
but otherwise I see no reason to advertise them today.
> And/or better instructions in the INSTALL file.
Yes, for those who still read those files.
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/18
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/18
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/19
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/19
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/20
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/20
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/21
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/21
- Re: Suggest installing more fonts?, Stefan Kangas, 2020/10/21
- Re: Suggest installing more fonts?,
Eli Zaretskii <=
- tofu-help-mode (was: Suggest installing more fonts?), Stefan Monnier, 2020/10/21
- Re: tofu-help-mode, Lars Ingebrigtsen, 2020/10/22
- Re: tofu-help-mode, Stefan Monnier, 2020/10/22
- Re: tofu-help-mode, Lars Ingebrigtsen, 2020/10/23
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23