diff options
Diffstat (limited to 'Master/texmf-dist/tex/generic/tex4ht/tei.4ht')
| -rw-r--r-- | Master/texmf-dist/tex/generic/tex4ht/tei.4ht | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/tei.4ht b/Master/texmf-dist/tex/generic/tex4ht/tei.4ht index 4a457a89dd5..0e0f7717630 100644 --- a/Master/texmf-dist/tex/generic/tex4ht/tei.4ht +++ b/Master/texmf-dist/tex/generic/tex4ht/tei.4ht @@ -1,4 +1,4 @@ -% tei.4ht (2020-07-09-10:11), generated from tex4ht-tei.tex +% tei.4ht (2020-07-10-09:05), generated from tex4ht-tei.tex % Copyright 2009-2019 TeX Users Group % Copyright 2000-2009 Eitan M. Gurari % @@ -17,7 +17,7 @@ % % If you modify this program, changing the % version identification would be appreciated. -\immediate\write-1{version 2020-07-09-10:11} +\immediate\write-1{version 2020-07-10-09:05} \exit:ifnot{Preamble,% amsart,% @@ -116,7 +116,7 @@ url} \Configure{VERSION} - {\HCode{<?xml version="1.0"?>\Hnewline}} + {\HCode{<?xml version="1.0" encoding="utf-8"?>\Hnewline}} \Configure{VERSION} {\HCode{<?xml version="1.0"?>\Hnewline}} \Configure{DOCTYPE} |