<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
You are certainly correct. Tex4ht uses the dvi file, and thus requires LaTeX rather than XeTeX. However, it should be easy to fix this, since the main reason I used XeLaTeX was to get the accents in Hàn Thế Thành
<div><br>
</div>
<div>Dick</div>
<div><br>
<div><font color="#202122" face="sans-serif"><span style="caret-color: rgb(32, 33, 34); font-size: 14px; background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div><font color="#202122" face="sans-serif"><span style="caret-color: rgb(32, 33, 34); font-size: 14px; background-color: rgb(255, 255, 255);"><br>
</span></font>
<div><br>
<blockquote type="cite">
<div>On Feb 23, 2023, at 2:23 PM, Murray Eisenberg <murrayeisenberg@gmail.com> wrote:</div>
<br class="Apple-interchange-newline">
<div>
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
I don’t know how to run Manual.tex (from the TeXShop sources) through the tex4ht engine, since it uses xelatex in order to include a number of Unicode characters in names </div>
</div>
</blockquote>
</div>
</div>
</div>
</body>
</html>