how using TexLive on a website like in org-mode?

how using TexLive on a website like in org-mode?

[Joseph Vidal-Rosset]

[-- Attachment #1: Type: text/plain, Size: 1021 bytes --]

Hello the list,

Happy New Year to everybody!

I have a dedicated server for a  personal website and I wonder how it is
possible to use  texlive as most as possible into  html webpages, in the
same way that we export via org-mode.

I would be glad  for example to use the proof.sty  package to import png
images like in this email, to get for example the image of this formal
derivation 

\[
\infer[^{L\lnot {\rm \mathit{def}}}]{\lnot \lnot P \Rightarrow P}{
  \infer[^{L\lnot {\rm \mathit{def}}}]{\lnot P \supset \bot \Rightarrow P}{
    \infer[^{L\supset\supset}]{(P \supset \bot) \supset \bot \Rightarrow P}{
      \infer[^{{\rm \mathit{Ax_{c}}}}]{\bot \supset \bot, P \Rightarrow \bot, P}{}
      &
      \infer[^{L\bot}]{\bot \Rightarrow P}{}
    }
  }
}
\]

in a html webpage easily. But I do  not know how to do. The CMS that I
am       using      is       /not/      WordPress,       but      SPIP
[[https://www.spip.net/en_rubrique25.html]]

Help would be very welcome.

Again, happy 2019 to everybody!

-- 
Jo. 

[-- Attachment #2.1: Type: text/html, Size: 1027 bytes --]

[-- Attachment #2.2: latexOKipHQ_965c81b37f619110e88580d158cdda66b04b6eb0.png --]
[-- Type: image/png, Size: 2070 bytes --]

Re: how using TexLive on a website like in org-mode?

[Eric S Fraga]

On Friday,  4 Jan 2019 at 18:17, Joseph Vidal-Rosset wrote:
> I have a dedicated server for a personal website and I wonder how it is
> possible to use texlive as most as possible into html webpages, in the
> same way that we export via org-mode.

I am not entirely sure I understand your question but could you
"publish" the files using org?  See section 13 of the manual.
-- 
Eric S Fraga via Emacs 27.0.50, Org release_9.1.14-1035-gfeb442

Re: how using TexLive on a website like in org-mode?

[Joseph Vidal-Rosset]

[-- Attachment #1: Type: text/plain, Size: 648 bytes --]

Many thanks Eric, I am going to have a look on section 13 of the manual.

Best wishes,

Jo.

Le ven. 4 janv. 2019 à 18:53, Eric S Fraga <esflists@gmail.com> a écrit :

> On Friday,  4 Jan 2019 at 18:17, Joseph Vidal-Rosset wrote:
> > I have a dedicated server for a personal website and I wonder how it is
> > possible to use texlive as most as possible into html webpages, in the
> > same way that we export via org-mode.
>
> I am not entirely sure I understand your question but could you
> "publish" the files using org?  See section 13 of the manual.
> --
> Eric S Fraga via Emacs 27.0.50, Org release_9.1.14-1035-gfeb442
>

[-- Attachment #2: Type: text/html, Size: 1424 bytes --]