emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed
* how using TexLive on a website like in org-mode?
@ 2019-01-04 17:17 Joseph Vidal-Rosset
  2019-01-04 17:53 ` Eric S Fraga
  0 siblings, 1 reply; 3+ messages in thread
From: Joseph Vidal-Rosset @ 2019-01-04 17:17 UTC (permalink / raw)
  To: emacs-orgmode list

[-- 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 --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: how using TexLive on a website like in org-mode?
  2019-01-04 17:17 how using TexLive on a website like in org-mode? Joseph Vidal-Rosset
@ 2019-01-04 17:53 ` Eric S Fraga
  2019-01-04 18:19   ` Joseph Vidal-Rosset
  0 siblings, 1 reply; 3+ messages in thread
From: Eric S Fraga @ 2019-01-04 17:53 UTC (permalink / raw)
  To: Joseph Vidal-Rosset; +Cc: emacs-orgmode list

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: how using TexLive on a website like in org-mode?
  2019-01-04 17:53 ` Eric S Fraga
@ 2019-01-04 18:19   ` Joseph Vidal-Rosset
  0 siblings, 0 replies; 3+ messages in thread
From: Joseph Vidal-Rosset @ 2019-01-04 18:19 UTC (permalink / raw)
  To: Joseph Vidal-Rosset, emacs-orgmode list

[-- 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 --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-01-04 18:19 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-01-04 17:17 how using TexLive on a website like in org-mode? Joseph Vidal-Rosset
2019-01-04 17:53 ` Eric S Fraga
2019-01-04 18:19   ` Joseph Vidal-Rosset

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).