texlive[67728] Build/source/texk/web2c/hitexdir: HiTeX change the

[commits+mruckert at tug.org]

Revision: 67728
          http://tug.org/svn/texlive?view=revision&revision=67728
Author:   mruckert
Date:     2023-07-25 15:33:12 +0200 (Tue, 25 Jul 2023)
Log Message:
-----------
HiTeX change the wrong subversion error of hinview to a warning

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt
    trunk/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf
    trunk/Build/source/texk/web2c/hitexdir/hiformat.w

Modified: trunk/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt
===================================================================
(Binary files differ)

Modified: trunk/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf
===================================================================
(Binary files differ)

Modified: trunk/Build/source/texk/web2c/hitexdir/hiformat.w
===================================================================
--- trunk/Build/source/texk/web2c/hitexdir/hiformat.w	2023-07-24 23:43:18 UTC (rev 67727)
+++ trunk/Build/source/texk/web2c/hitexdir/hiformat.w	2023-07-25 13:33:12 UTC (rev 67728)
@@ -6975,8 +6975,8 @@
   { MESSAGE("Wrong HINT version: got %d.%d, expected %d.%d\n",
       v,s,HINT_VERSION,HINT_SUB_VERSION); return false; }
   if (s<HINT_SUB_VERSION)
-  { MESSAGE("Wrong HINT subversion: got %d.%d, expected %d.%d\n",
-      v,s,HINT_VERSION,HINT_SUB_VERSION); return false; }
+  { MESSAGE("Old HINT subversion: got %d.%d, expected %d.%d\n",
+      v,s,HINT_VERSION,HINT_SUB_VERSION); }
   else if (s>HINT_SUB_VERSION)
   { MESSAGE("New HINT subversion: got %d.%d, expected %d.%d, update your application\n",
       v,s,HINT_VERSION,HINT_SUB_VERSION); }