[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Michael Albinus |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Fri, 23 Oct 2020 18:53:17 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
Hi Eli,
>> >> Installation of intlfonts is described in efaq.texi. If we still want to
>> >> mention them in INSTALL, we better add a reference?
>> >
>> > ??? It's already in INSTALL.
>>
>> I haven't see any reference to efaq.texi in INSTALL.
>
> Sorry, I thought you meant intlfonts, not efaq. So now could you
> elaborate on what kind of reference did you have in mind and to what
> information?
Something like
See the Emacs Frequently Asked Questions manual "(efaq) How to add
fonts" for installation instructions.
>> No reason. I just wanted to show how to install such fonts for major
>> GNU/Linux distros, using apt or dnf. And maybe also for other target systems.
>
> We could also use a neutral name like "apt get FONT ...", couldn't we?
Hmm. The problem is, that the majority of users doesn't know what to
replace FONT with.
Best regards, Michael.
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Stefan Kangas, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- 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 <=
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/25
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/25
- Re: Suggest installing more fonts?, Juri Linkov, 2020/10/21
- Re: Suggest installing more fonts?, Basil L. Contovounesios, 2020/10/21
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/21
- Re: Suggest installing more fonts?, Stephen Berman, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- Re: Suggest installing more fonts?, Rasmus, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21