From mboxrd@z Thu Jan  1 00:00:00 1970
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Subject: Re: inline code and minted
Date: Fri, 05 Feb 2016 14:33:41 +0100
Message-ID: <87egcrqo22.fsf@nicolasgoaziou.fr>
References: <m2lh6z8o8c.fsf@charm-ecran.irisa.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:48559)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <mail@nicolasgoaziou.fr>) id 1aRgUC-0005Sg-Aj
	for emacs-orgmode@gnu.org; Fri, 05 Feb 2016 08:31:45 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <mail@nicolasgoaziou.fr>) id 1aRgU8-0005KC-AB
	for emacs-orgmode@gnu.org; Fri, 05 Feb 2016 08:31:44 -0500
Received: from relay3-d.mail.gandi.net ([217.70.183.195]:43252)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <mail@nicolasgoaziou.fr>) id 1aRgU8-0005JD-3g
	for emacs-orgmode@gnu.org; Fri, 05 Feb 2016 08:31:40 -0500
In-Reply-To: <m2lh6z8o8c.fsf@charm-ecran.irisa.fr> (Alan Schmitt's message of
	"Fri, 05 Feb 2016 11:07:15 +0100")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Alan Schmitt <alan.schmitt@polytechnique.org>
Cc: emacs-orgmode <emacs-orgmode@gnu.org>

Hello,

Alan Schmitt <alan.schmitt@polytechnique.org> writes:

> Hello,
>
> I see that
>
> src_coq[:exports code]{nat}
>
> exports to (latex export with minted)
>
> \mint{coq}~nat~
>
> which does not work as inline code here. The following would work,
> however, with a recent minted:
>
> \mintinline{coq}{nat}
>
> I have two questions:
> - should we support this and generate this code?

Sure. Could you provide and apply a patch for that?

> - in the meantime, I created a macro that does this for latex, but it
> does not work for html (it exports the =E2=80=9Csrc_coq=E2=80=9D string v=
erbatim):
> #+macro: coq @@latex:\mintinline{coq}{$1}@@@@html:src_coq[:exports code]{=
$1}@@
> Why is this macro wrong?

Contents of an export snippet, e.g. @@html:...@@ are not evaluated by
the back-end. IOW this is back-end code.


Regards,

--=20
Nicolas Goaziou