diff options
-rw-r--r-- | Master/texmf-dist/tex/generic/tex4ht/url.4ht | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/url.4ht b/Master/texmf-dist/tex/generic/tex4ht/url.4ht index ccc961448c5..47653649af6 100644 --- a/Master/texmf-dist/tex/generic/tex4ht/url.4ht +++ b/Master/texmf-dist/tex/generic/tex4ht/url.4ht @@ -65,6 +65,11 @@ \Configure{url}{#1} \NewConfigure{path}{2} +\def\set@mathnolig#1{\ifnum\mathcode`#1<32768 + \begingroup\lccode`\~`#1\lowercase{\endgroup + \edef~}{\mathchar\number\mathcode`#1_{\/}}% + \mathcode`#1=32768 \fi} + \Hinput{url} \endinput |