diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2023-08-18 11:23:02 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2023-08-18 11:23:02 +0000 |
commit | 75f6a82df02b8dbc9e9aa923e75788915a8c9d32 (patch) | |
tree | b61a2ef806d0fd5d13a1c4826d935f452f224989 /Build/source/texk/web2c/hitexdir/doc | |
parent | c03f101332d0278e61736fe899406706c118024d (diff) |
HINT using full file names in the log files
git-svn-id: svn://tug.org/texlive/trunk@67965 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hiformat.hnt | bin | 1133017 -> 1133016 bytes |
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hiformat.pdf | bin | 1291831 -> 1291831 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt b/Build/source/texk/web2c/hitexdir/doc/hiformat.hnt Binary files differindex b686d218668..0f93575483b 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 72860e605c3..eb00665b2fb 100644 --- a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf +++ b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf |