From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: how using TexLive on a website like in org-mode? Date: Fri, 04 Jan 2019 18:17:23 +0100 Message-ID: <87muogs5p8.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=-=-=" Return-path: Received: from eggs.gnu.org ([208.118.235.92]:40628) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfT6M-0005ll-03 for emacs-orgmode@gnu.org; Fri, 04 Jan 2019 12:17:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfT6K-0006cG-D7 for emacs-orgmode@gnu.org; Fri, 04 Jan 2019 12:17:41 -0500 Received: from mail-ed1-x529.google.com ([2a00:1450:4864:20::529]:37786) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfT6I-0006RI-OI for emacs-orgmode@gnu.org; Fri, 04 Jan 2019 12:17:38 -0500 Received: by mail-ed1-x529.google.com with SMTP id h15so32391950edb.4 for ; Fri, 04 Jan 2019 09:17:26 -0800 (PST) Received: from debian ([2a01:e35:2ea9:9d00:8827:3b68:8cdb:ae09]) by smtp.gmail.com with ESMTPSA id g21sm27474755edc.63.2019.01.04.09.17.23 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 04 Jan 2019 09:17:24 -0800 (PST) List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: "Emacs-orgmode" To: emacs-orgmode list --=-=-= Content-Type: text/plain 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. --=-=-= Content-Type: multipart/related; boundary="==-=-=" --==-=-= Content-Type: text/html

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

latexOKipHQ_965c81b37f619110e88580d158cdda66b04b6eb0.png

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.

--==-=-= Content-Type: image/png Content-ID: <_tmp_ltximg_latexOKipHQ_965c81b37f619110e88580d158cdda66b04b6eb0.png> Content-Disposition: inline; filename=latexOKipHQ_965c81b37f619110e88580d158cdda66b04b6eb0.png Content-Transfer-Encoding: base64 iVBORw0KGgoAAAANSUhEUgAAATQAAABnBAMAAAB8wqNBAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAq82ZMrtUdhAiZu9E 3YmsEUfoAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAHcUlEQVRoBe1aTYgcRRR+m5mdn83O7AxRSDy1 rRsUkayJP5iAmSQHYREyohBBDwOSKEjYYMAlojgYvER014AXgzoiuCIIK0FiLiF72YOXBA0EzGWF 4EoOcY1BE//r71VXVVf1dM92z/iTPnS9eu9733tdM1vb700BpH4VJlZFubgq72jnSjPa7rIWLlyk pixTWz7rCt5Ff57ZM0ytfHGlSwoOc+lq1qnlStcAXnzgoCMBt7rAHynDVdsHV6HY3viOOweHJce/ oxmmdn76ZyhBDx9qpQNlknV2qRVnYQ9A3oPCnGN1XOqZWTiipfZXahdfqPcAtkC1OrG4a0TJIToI 93wO4AktNcU/DbF4HEbvbg3Nbe3cm5CueGF6Ww2+rfv1dQk9E8PXlxK79Mth8svsI23+Y8vNGyLD 5DZ9fc+js5EQl7EL+ZDNryaVBbJLb2vLqRQUt6kG5L6QBrugwBWAi1xA1ihQKXpSypE/oDMH5FQK itt2gNFfpMEuKHAF4CIXEOGU9/3x+6WXJ6UKEaeiU/sKoNBbai5yEV15nodvx4xIPuKaWQLYPosz 9uLCJoFb6U+A3HVEOMYATgCSRScPuapOr2IOnoSdOQ3lYElek/rAbfR3gPct6yqhVAjgZCJZdHLN wXQqN4XZk7AfoPRpR87yNRSDWNUVOPINql1jACcIyaKTh3w1p/XC7EnYXZeXT7PJZp9e421hCdzW nLr8klC6B4TrLJLc7ohOzPqCwHgS+6OUmFDe0+aKwG1MrqQO1WYBnKqRxSDXPMhEcwqllv/VwL9x B1cEbrs7BsQ2DeDMyllC5Ian5hT6QIvGn97oU8I9cHtl1mC0TQM4tQoWk9x0VJ3KnrDiCMPziOff kp9wGrg9iaqoEeEaS0Bud0UnatU2j/IJolnb1LxGlnDK3I4dINPPURU1qlEAWQxy3T/n+5t8/1ah FFsuebIrvl8rk5iHNx3XPq63OBLdjjWhtPm3B3XO8AzhaBEsJjmazZH8o/K36sqiPqWzQ4aKrlry y2RJzmBJzSTpLTWThc5F9W4zWXSPWHS6Kn9an69mdp44L9TXtfAeydWJtFKjWpt0BUcDRPVe2ku/ 2/we7dA/q6jeAZosJr/3L3xUJFG9A+xjKH6PcuifrcKrd4A3WUx+71/4qEiiegeYZKhJiK6r+2Nd YbmI6h2Ab+Bdt/Gox0zXxqt3wlntUGJ+p9I/5Vqo12+i+xq9/2uvdlTmdGsc2JUjkd2lf+ydx03R +5NtIK7W0p91CaqNMHMtrHJQ2IDxdYUDBGst/fl7oRemsqgcFGHfJJpKm6Cx9Nf6Djy1S5RM04NH VeaFFKZ+FfMd1HdmKegryL4DT20ncku9llrc7gGyJBmXKVgr/bF04KmNtZEN9VpqcbsHSJJkPEfB WumPfQee2poWsqFeSy1u9wBJkozXKVgv/UWZylMb6kg2o3zlFd14m9t1CumzGuEaddZLf1Hc89Ry S5I9VPRTS8zugSSJL5ToG4FR+mupVSckmTU1iNc9kCQJBLpqRumvfaA5uu/xy/hAuTJm9wA5kown CVgv/bHvYH7XUI9/Bom6B0lSQuxGIuilP24SPLVKA5Gox9SYPlb3ABkSjpfNvgLfWmWXYC3y6f0I 1CbsHqBbrPFdFWXpOzxN7Ra9cDukuqcsDzeiCR+PNne17m9RSHW6KzAMKNfCOkUjd3tF11Xcf6oh MZVZKh7dIRUJhE8iscORVoexEmw48DrDfOhARqtH2GO5MB+7DFH6mUZgXWDiLYFisNKUDF+Y3gOj l5aKpzpSNVjhPhI+V6/XN8IHcA72wkQvJwiyeQTyqwz7lizCSZiH43OtvJdNoMSspetQ6lCvxfx8 vklfIHo6HZVyw4M9RmEehtsstfLZ4e8a8/BsVfmTZZBB3V4+cfAzEXv5o4fgmblWt319UJmSuPIf 8QBzsIc+usuuT6xN0CKICT38feIk7A7WLgPUbGA71IZMR2ftMmjvjzKOHSrNqQuyRbDT9x9rIb2H gjpKqKrMUJ5ZCroM+ecbIpInRjpk2U1QwoRFrctQulMAPAWYZTdBCRMWtS4DvC0AngKU75c6VEGk LLLirWl2GYbaPIzHh8y7CTyM7U4y0LsMxRaHEUNwZddNCGKEJM/sMlhTy7CbEMpIKjyzy2B8oBzY rZuwijJKZhISPKPLAEcFxOOju5uQVhkVSgkVDaPLYN08rN2EtMoozCQ86gcMxJZL1uoKOd2AaGs3 oa9lFPlHdVsH01FHazfhRhmlLlFc+T9fRlkXYqzn4orR3SijrKuaWPk/KKNca+I4+h2jlEqtjHKl BlMN29HvfpdS1vTsR7/7XUpZU7Mf/e53KWVLTT/6PbBSypaafvR7YKWULbWqdvS776WUnhJ7j22S H4LIUXByChqPfvPX2/E2B2fww6yehXvmMRP5Ac04+j2QUkpPU6a2u6MbsvthVo/jnnnMRFbNOPrd rZRyM6ZmkanJo9/8uyYOh+u/7aYWNRZRg6Hy5tFvaykVizB1kHn021pKpR61J0JrKdUTk3D6G6m9 Myu4eQb0AAAAAElFTkSuQmCC --==-=-=-- --=-=-=--