summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/texk/web2c/hitexdir/doc/hiformat.hntbin1132989 -> 1132958 bytes
-rw-r--r--Build/source/texk/web2c/hitexdir/doc/hiformat.pdfbin1291851 -> 1291824 bytes
-rw-r--r--Build/source/texk/web2c/hitexdir/hiformat.w4
3 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt b/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt
index 1044dc975a5..7484f9d38e8 100644
--- a/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt
+++ b/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt
Binary files differ
diff --git a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf
index 3eeb3c5cb53..1e7b72b40d8 100644
--- a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf
+++ b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf
Binary files differ
diff --git a/Build/source/texk/web2c/hitexdir/hiformat.w b/Build/source/texk/web2c/hitexdir/hiformat.w
index 921513a7d1b..4bd116d2ff7 100644
--- a/Build/source/texk/web2c/hitexdir/hiformat.w
+++ b/Build/source/texk/web2c/hitexdir/hiformat.w
@@ -6975,8 +6975,8 @@ bool hcheck_banner(char *magic)
{ 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); }