HiTeX: OpenType fonts are reloaded if defined in the format; OpenType fonts with kerning (no ligatures yet)

git-svn-id: svn://tug.org/texlive/trunk/Build/source@77559 c570f23f-e606-0410-a88d-b1316a301751

Author: ruckertm

texk/web2c/hitexdir/doc/hitexman.hnt

@@ -73,6 +73,7 @@
 
 \font\utf={[/usr/share/fonts/truetype/dejavu/DejaVuSansMono]} at 9pt
 
+
 \hbox{}
 \vskip 0pt plus 1fill
 {
@@ -129,7 +130,7 @@
 \medskip
 {\tt ruckert\:@cs.hm.edu}
 \medskip
-Last commit: Thu Jan 22 15:28:21 2026
+Last commit: Sat Jan 31 12:11:52 2026
 \par
 }
 \eject