From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Subject: inline code and minted
Date: Fri, 05 Feb 2016 11:07:15 +0100
Message-ID: <m2lh6z8o8c.fsf@charm-ecran.irisa.fr>
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:34668)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1aRdIT-0001tZ-5R
	for emacs-orgmode@gnu.org; Fri, 05 Feb 2016 05:07:25 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1aRdIO-0000O5-5W
	for emacs-orgmode@gnu.org; Fri, 05 Feb 2016 05:07:25 -0500
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:19536)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1aRdIN-0000NY-Uc
	for emacs-orgmode@gnu.org; Fri, 05 Feb 2016 05:07:20 -0500
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: emacs-orgmode <emacs-orgmode@gnu.org>

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

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:
=2D should we support this and generate this code?
=2D 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 ver=
batim):
#+macro: coq @@latex:\mintinline{coq}{$1}@@@@html:src_coq[:exports code]{$1=
}@@
Why is this macro wrong?

Thanks,

Alan

=2D-=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Athmospheric CO=E2=82=82 (Updated February 4, 2016, Mauna Loa Obs.): 403.08=
 ppm

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBCgAGBQJWtHRTAAoJEAQNCjtO0uXHhngIALHq7bBugTUZlJMv+MfM/nol
+ENRKL+S9j+iYyfgen3ltYw0w1Bcq6Zff0An5wSypNreqdoGKgOyy19aazmY5wd/
X6vQmDJNSekQexXC1815ysOlLTgwr6UlEQ6k76omJNZi8kmPCI47QcJ8DI6SrrAq
yVEvl3W203GWgOr2vKZlTtyt4+6N2vn4FQRXk/PrAGdVyliivroVmV+XARJHNXGg
etbqb+4++/ZPFw8mhLefuoyDBmy2RYK4ZTPGTGsrxz3sqQb8p2ZWVLQDhmFIjChB
GPN/rHF04rIlXVsE4rqmPfdsUE7dIvIKNEgCFFSNZsNe+laamYW0lHukS7ljVNc=
=z6eQ
-----END PGP SIGNATURE-----
--=-=-=--