[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-fr
From: |
Eli Zaretskii |
Subject: |
[O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ? |
Date: |
Thu, 20 Sep 2018 08:43:19 +0300 |
> From: Kaushal Modi <address@hidden>
> Date: Wed, 19 Sep 2018 17:16:28 -0400
> Cc: Nicolas Goaziou <address@hidden>, Glenn Morris <address@hidden>,
> address@hidden,
> Richard Stallman <address@hidden>, address@hidden, Robert Horn
> <address@hidden>,
> Eli Zaretskii <address@hidden>
>
> I got approval from Hrvoje Nikšić that he was fine with your mirror[0].
>
> So I believe it should be OK reference that mirror repo in ox-html?
I think we could do better by using htmlfontify.el. I asked a few
questions about that in this discussion, see
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=32722#95
Would the Org developers please reply to those questions? If indeed
it is not hard to adapt htmlfontify to be used by Org, then I think
it's a better solution.
TIA
- [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, (continued)
- [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, Glenn Morris, 2018/09/18
- [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, Nicolas Goaziou, 2018/09/18
- [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Amin Bandali, 2018/09/18
- [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Kaushal Modi, 2018/09/19
- [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/19
- [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/20
- [O] bug#32722: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Joe Corneli, 2018/09/20
- [O] bug#32722: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/20
- [O] bug#32722: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Joe Corneli, 2018/09/21
- [O] bug#32722: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/21
- [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?,
Eli Zaretskii <=
- [O] bug#32722: bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Robert Klein, 2018/09/20
- [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Nicolas Goaziou, 2018/09/20
- [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/20
- Message not available
- Re: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Adam Porter, 2018/09/20
- Re: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Kaushal Modi, 2018/09/20
- Re: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Adam Porter, 2018/09/20
- Re: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Kaushal Modi, 2018/09/21
- [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/18
- [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/19
- [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, Nicolas Goaziou, 2018/09/20