diff options
author | Karl Berry <karl@freefriends.org> | 2021-12-19 22:51:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-12-19 22:51:48 +0000 |
commit | 412bc778c8b559327e2af8518e7c15af2b01d5f6 (patch) | |
tree | 6c4045a8ff22b7788924dc790c956248e1babfa4 /Master/texmf-dist/tex/generic/tex4ht | |
parent | d0d64b0d56bd771d290b0f5abc225508e50ce6f0 (diff) |
minted <> fixes, tex4ht r1035
git-svn-id: svn://tug.org/texlive/trunk@61349 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/generic/tex4ht')
-rw-r--r-- | Master/texmf-dist/tex/generic/tex4ht/minted.4ht | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/minted.4ht b/Master/texmf-dist/tex/generic/tex4ht/minted.4ht index 1b6880474a6..1d6f709606c 100644 --- a/Master/texmf-dist/tex/generic/tex4ht/minted.4ht +++ b/Master/texmf-dist/tex/generic/tex4ht/minted.4ht @@ -1,4 +1,4 @@ -% minted.4ht (2020-09-28-13:52), generated from tex4ht-4ht.tex +% minted.4ht (2021-12-19-14:41), generated from tex4ht-4ht.tex % Copyright 2020 TeX Users Group % % This work may be distributed and/or modified under the @@ -16,7 +16,7 @@ % % If you modify this program, changing the % version identification would be appreciated. -\immediate\write-1{version 2020-09-28-13:52} +\immediate\write-1{version 2021-12-19-14:41} \NewConfigure{InlineCode}{2} @@ -42,6 +42,16 @@ } {\b:MintedColorbg\medskip\noindent} +\NewConfigure{mintedfixes}[1]{\concat:config\a:mintedfixes{#1}} +\let\a:mintedfixes\empty + +\def\:tempa#1{\a:mintedfixes\o:minted@input:{#1}} + +\Configure{mintedfixes}{\def\PYGZlt{\textless}\def\PYGZgt{\textgreater}} + +\HLet\minted@input\:tempa + + \Hinput{minted} \endinput |