summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
authorMartin Ruckert <martin.ruckert@hm.edu>2023-07-25 13:33:12 +0000
committerMartin Ruckert <martin.ruckert@hm.edu>2023-07-25 13:33:12 +0000
commita4acdbfe9f19c3a9a80317a7942e5f997626e202 (patch)
tree2e4626c73425af43985567aaf0faabe817734508 /Build/source
parent69b0569090743015421b5db26080d8c850cdda72 (diff)
HiTeX change the wrong subversion error of hinview to a warning
git-svn-id: svn://tug.org/texlive/trunk@67728 c570f23f-e606-0410-a88d-b1316a301751
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); }