summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r--Master/texmf-dist/source/generic/tex4ht/ChangeLog6
-rw-r--r--Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex4
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/unicode/cm/cmtcsc.htf2
3 files changed, 9 insertions, 3 deletions
diff --git a/Master/texmf-dist/source/generic/tex4ht/ChangeLog b/Master/texmf-dist/source/generic/tex4ht/ChangeLog
index c181028100b..890c82c6551 100644
--- a/Master/texmf-dist/source/generic/tex4ht/ChangeLog
+++ b/Master/texmf-dist/source/generic/tex4ht/ChangeLog
@@ -1,3 +1,9 @@
+2023-12-05 Michal Hoftich <michal.h21@gmail.com>
+
+ * tex4ht-fonts-noncjk.tex (
+ tex4ht.dir/texmf/tex4ht/ht-fonts/unicode/cm/cmtcsc.htf
+ ): require use of small caps monospaced font.
+
2023-12-04 Michal Hoftich <michal.h21@gmail.com>
* tex4ht-fonts-noncjk.tex (
diff --git a/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex b/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex
index 7320ca112d7..d9ea432b56e 100644
--- a/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex
+++ b/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex
@@ -1,4 +1,4 @@
-% $Id: tex4ht-fonts-noncjk.tex 1415 2023-12-04 09:09:29Z michal_h21 $
+% $Id: tex4ht-fonts-noncjk.tex 1416 2023-12-05 08:58:07Z michal_h21 $
% tex tex4ht-fonts-noncjk
% or ht tex tex4ht-fonts-noncjk
%
@@ -11176,7 +11176,7 @@ as it contains errors.
\<cmtcsc-uni\><<<
.cmtt
-htfcss: cmtcsc font-family: monospace,monospace;
+htfcss: cmtcsc font-family: monospace,monospace; font-variant: small-caps;
>>>
\AddFont{cmtcsc-uni}{unicode/cm/cmtcsc}
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/cm/cmtcsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/cm/cmtcsc.htf
index 5b7302acc5c..82067affa06 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/cm/cmtcsc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/cm/cmtcsc.htf
@@ -1,3 +1,3 @@
.cmtt
-htfcss: cmtcsc font-family: monospace,monospace;
+htfcss: cmtcsc font-family: monospace,monospace; font-variant: small-caps;