[tex4ht-commits] [SCM] tex4ht updated: r568 - trunk/lit

[michal_h21 at gnu.org.ua]

Author: michal_h21
Date: 2019-05-22 15:24:07 +0300 (Wed, 22 May 2019)
New Revision: 568

Modified:
   trunk/lit/ChangeLog
   trunk/lit/Makefile
   trunk/lit/mktex4ht-cnf.tex
   trunk/lit/tex4ht-4ht.tex
   trunk/lit/tex4ht-html4.tex
Log:
Added support for the bussproofs package

Modified: trunk/lit/ChangeLog
===================================================================
--- trunk/lit/ChangeLog	2019-05-21 10:23:55 UTC (rev 567)
+++ trunk/lit/ChangeLog	2019-05-22 12:24:07 UTC (rev 568)
@@ -1,3 +1,8 @@
+2019-05-22  Michal Hoftich  <michal.h21 at gmail.com>
+
+	* tex4ht-4ht.tex (bussproofs.4ht),
+	tex4ht-html4.tex (html4.4ht): added support for the bussproofs package.
+
 2019-05-20  Michal Hoftich  <michal.h21 at gmail.com>
 
 	* tex4ht-4ht.tex (adjustbox.4ht),

Modified: trunk/lit/Makefile
===================================================================
--- trunk/lit/Makefile	2019-05-21 10:23:55 UTC (rev 567)
+++ trunk/lit/Makefile	2019-05-22 12:24:07 UTC (rev 568)
@@ -43,7 +43,7 @@
 derived += $(tex4ht_4ht_derived)
 tex4ht_4ht_derived = \
   adjustbox.4ht algorithmic.4ht amsmath.4ht animate.4ht authblk.4ht \
-  biblatex.4ht biblatex-chicago.4ht book.4ht \
+  biblatex.4ht biblatex-chicago.4ht book.4ht bussproofs.4ht \
   caption.4ht cleveref.4ht color.4ht colortbl.4ht \
   fontspec.4ht fontspec-4ht.lua fontspec-luatex.4ht fontspec-xetex.4ht \
     framed.4ht frenchb.4ht floatpag.4ht \

Modified: trunk/lit/mktex4ht-cnf.tex
===================================================================
--- trunk/lit/mktex4ht-cnf.tex	2019-05-21 10:23:55 UTC (rev 567)
+++ trunk/lit/mktex4ht-cnf.tex	2019-05-22 12:24:07 UTC (rev 568)
@@ -51,6 +51,7 @@
 \AddFile{9}{multirow}
 \AddFile{8}{theorem}
 \AddFile{8}{ntheorem}
+\AddFile{8}{bussproofs}
 \AddFile{9}{wrapfig}
 \AddFile{9}{subscript}
 \AddFile{9}{subfigure}

Modified: trunk/lit/tex4ht-4ht.tex
===================================================================
--- trunk/lit/tex4ht-4ht.tex	2019-05-21 10:23:55 UTC (rev 567)
+++ trunk/lit/tex4ht-4ht.tex	2019-05-22 12:24:07 UTC (rev 568)
@@ -9991,7 +9991,26 @@
 \def\next:col{\gHAdvance\HCol |by 1 }
 >>>
 
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\Section{bussproofs}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\<bussproofs.4ht\><<<
+% bussproofs.4ht (|version), generated from |jobname.tex
+% Copyright 2017 TeX Users Group
+|<TeX4ht license text|>
+
+\NewConfigure{DisplayProof}{2}
+
+\pend:defI\DisplayProof{\a:DisplayProof}
+\append:defI\DisplayProof{\b:DisplayProof}
+\Hinput{bussproofs}
+\endinput
+
+>>> \AddFile{8}{bussproofs}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \Chapter{Sectioning Commands}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 

Modified: trunk/lit/tex4ht-html4.tex
===================================================================
--- trunk/lit/tex4ht-html4.tex	2019-05-21 10:23:55 UTC (rev 567)
+++ trunk/lit/tex4ht-html4.tex	2019-05-22 12:24:07 UTC (rev 568)
@@ -19981,6 +19981,12 @@
    {\ifvmode\IgnorePar\fi \EndP \HCode{</div>}} {}{}
 >>>
 
+\section{bussproofs}
+
+\<configure html4 bussproofs\><<<
+\Configure{DisplayProof}{\Picture*{}}{\EndPicture}
+>>>
+
 \section{hyperref}
 
 \<config hyperref form 4\><<<