diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2023-07-25 13:33:12 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2023-07-25 13:33:12 +0000 |
commit | a4acdbfe9f19c3a9a80317a7942e5f997626e202 (patch) | |
tree | 2e4626c73425af43985567aaf0faabe817734508 /Build | |
parent | 69b0569090743015421b5db26080d8c850cdda72 (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')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hiformat.hnt | bin | 1132989 -> 1132958 bytes | |||
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hiformat.pdf | bin | 1291851 -> 1291824 bytes | |||
-rw-r--r-- | Build/source/texk/web2c/hitexdir/hiformat.w | 4 |
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 Binary files differindex 1044dc975a5..7484f9d38e8 100644 --- a/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt +++ b/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt diff --git a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf Binary files differindex 3eeb3c5cb53..1e7b72b40d8 100644 --- a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf +++ b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf 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); } |