From mboxrd@z Thu Jan  1 00:00:00 1970
From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
Subject: org-mode export to html with png images
Date: Sat, 5 Oct 2013 09:56:14 +0200
Message-ID: <CAD-VTcE7MNtTCCH8-6_QxkvOkw5=4qOyf-eZMGTdmmbN8maaOQ@mail.gmail.com>
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary=001a11c37ba2fb504304e7f9c1fd
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:47845)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSMj6-0008HL-GR
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 03:56:37 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSMj5-0007TT-C2
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 03:56:36 -0400
Received: from mail-wi0-x231.google.com ([2a00:1450:400c:c05::231]:43549)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSMj5-0007TP-5W
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 03:56:35 -0400
Received: by mail-wi0-f177.google.com with SMTP id cb5so2702198wib.16
	for <emacs-orgmode@gnu.org>; Sat, 05 Oct 2013 00:56:34 -0700 (PDT)
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 list <emacs-orgmode@gnu.org>

--001a11c37ba2fb504304e7f9c1fd
Content-Type: text/plain; charset=UTF-8

Hello everybody,


I do not succeed to get correct results with exporting .png images for html
files with specific formulas , for example,

with



#+OPTIONS: tex:dvipng


the formula

\begin{prooftree}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{[image: [\neg A \land A]]}
\RightLabel{\scriptsize{[image: \land E]}}
\UnaryInfC{[image: \neg A]}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{[image: [\neg A \land A]]}
\RightLabel{\scriptsize{[image: \land E]}}
\UnaryInfC{[image: A]}
\RightLabel{\scriptsize{[image: \neg E]}}
\BinaryInfC{[image: \bot]}
\RightLabel{\scriptsize{[image: \to I~1]}}
\UnaryInfC{[image: (\neg A \land A) \to B]}
\end{prooftree}

does not give a correct .png image for browsers.

Suggestions?
(with imagemagick it is not better).

Thanks

Jo.

--001a11c37ba2fb504304e7f9c1fd
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello everybody,<div><br></div><div><br></div><div>I do no=
t succeed to get correct results with exporting .png images for html files =
with specific formulas , for example,=C2=A0</div><div><br></div><div>with=
=C2=A0</div>

<div><br></div><div><br></div><div><br></div><div><div>#+OPTIONS: tex:dvipn=
g</div></div><div><br></div><div><br></div><div>the formula=C2=A0</div><div=
><br></div><div><div>\begin{prooftree}</div><div>\AxiomC{\scriptsize{1}}</d=
iv>

<div>\noLine</div><div>\UnaryInfC{<img alt=3D"[\neg A \land A]" title=3D"[\=
neg A \land A]" src=3D"http://latex.codecogs.com/gif.latex?%5Cinline%20{[%5=
Cneg%20A%20%5Cland%20A]}" style=3D"vertical-align: -5px;">}</div><div>\Righ=
tLabel{\scriptsize{<img alt=3D"\land E" title=3D"\land E" src=3D"http://lat=
ex.codecogs.com/gif.latex?%5Cinline%20{%5Cland%20E}" style=3D"vertical-alig=
n: 0px;">}}</div>

<div>\UnaryInfC{<img alt=3D"\neg A" title=3D"\neg A" src=3D"http://latex.co=
decogs.com/gif.latex?%5Cinline%20{%5Cneg%20A}" style=3D"vertical-align: 0px=
;">}</div><div>\AxiomC{\scriptsize{1}}</div><div>\noLine</div><div>\UnaryIn=
fC{<img alt=3D"[\neg A \land A]" title=3D"[\neg A \land A]" src=3D"http://l=
atex.codecogs.com/gif.latex?%5Cinline%20{[%5Cneg%20A%20%5Cland%20A]}" style=
=3D"vertical-align: -5px;">}</div>

<div>\RightLabel{\scriptsize{<img alt=3D"\land E" title=3D"\land E" src=3D"=
http://latex.codecogs.com/gif.latex?%5Cinline%20{%5Cland%20E}" style=3D"ver=
tical-align: 0px;">}}</div><div>\UnaryInfC{<img alt=3D"A" title=3D"A" src=
=3D"http://latex.codecogs.com/gif.latex?%5Cinline%20{A}" style=3D"vertical-=
align: 0px;">}</div>

<div>\RightLabel{\scriptsize{<img alt=3D"\neg E" title=3D"\neg E" src=3D"ht=
tp://latex.codecogs.com/gif.latex?%5Cinline%20{%5Cneg%20E}" style=3D"vertic=
al-align: 0px;">}}</div><div>\BinaryInfC{<img alt=3D"\bot" title=3D"\bot" s=
rc=3D"http://latex.codecogs.com/gif.latex?%5Cinline%20{%5Cbot}" style=3D"ve=
rtical-align: 0px;">}</div>

<div>\RightLabel{\scriptsize{<img alt=3D"\to I~1" title=3D"\to I~1" src=3D"=
http://latex.codecogs.com/gif.latex?%5Cinline%20{%5Cto%20I~1}" style=3D"ver=
tical-align: 0px;">}}</div><div>\UnaryInfC{<img alt=3D"(\neg A \land A) \to=
 B" title=3D"(\neg A \land A) \to B" src=3D"http://latex.codecogs.com/gif.l=
atex?%5Cinline%20{(%5Cneg%20A%20%5Cland%20A)%20%5Cto%20B}" style=3D"vertica=
l-align: -5px;">}</div>

<div>\end{prooftree}</div></div><div><br></div><div>does not give a correct=
 .png image for browsers.=C2=A0</div><div><br></div><div>Suggestions?=C2=A0=
</div><div>(with imagemagick it is not better).=C2=A0</div><div><br></div><=
div>Thanks</div>

<div><br></div><div>Jo.=C2=A0</div>
<div><br></div></div>

--001a11c37ba2fb504304e7f9c1fd--