[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-fre
From: |
Eli Zaretskii |
Subject: |
bug#32722: [O] 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 <kaushal.modi@gmail.com>
> Date: Wed, 19 Sep 2018 17:16:28 -0400
> Cc: Nicolas Goaziou <mail@nicolasgoaziou.fr>, Glenn Morris <rgm@gnu.org>,
> n@flqt.fr,
> Richard Stallman <rms@gnu.org>, 32722@debbugs.gnu.org, Robert Horn
> <rjhorniii@gmail.com>,
> Eli Zaretskii <eliz@gnu.org>
>
> 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
- bug#32722: 26.1; Org-publish depend on non-free platform ?, (continued)
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Glenn Morris, 2018/09/18
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Nicolas Goaziou, 2018/09/18
- bug#32722: [O] bug#32722: 26.1; Org-publish depend on non-free platform ?, Amin Bandali, 2018/09/18
- bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Kaushal Modi, 2018/09/19
- bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/19
- bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/20
- bug#32722: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Joe Corneli, 2018/09/20
- bug#32722: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/20
- bug#32722: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Joe Corneli, 2018/09/21
- bug#32722: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/21
- bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?,
Eli Zaretskii <=
- bug#32722: [O] bug#32722: bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Robert Klein, 2018/09/20
- bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Nicolas Goaziou, 2018/09/20
- bug#32722: [O] bug#32722: bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/20
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/18
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/19
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Nicolas Goaziou, 2018/09/20
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/20
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/20
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Richard Stallman, 2018/09/18
- bug#32722: 26.1; Org-publish depend on non-free platform ?, Eli Zaretskii, 2018/09/19