[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Worg: issue with org-tools page
From: |
Bastien Guerry |
Subject: |
Re: Worg: issue with org-tools page |
Date: |
Sun, 06 Aug 2023 17:17:27 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Ihor Radchenko <yantar92@posteo.net> writes:
> May it be enough to drop --quick in Emacs call from publish.sh instead
> of manually adding system-installed Emacs packages?
Indeed. Please go ahead: experimental commits won't hurt much.
> May we just set #+PROPERTY: header-args :eval no-export across
> examples?
Sure, please go ahead as you see fit!
--
Bastien Guerry
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/04
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/05
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/05
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/05
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/05
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/06
- Re: Worg: issue with org-tools page,
Bastien Guerry <=
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/07
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/07
Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/10