diff options
author | Karl Berry <karl@freefriends.org> | 2018-12-17 18:27:08 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-12-17 18:27:08 +0000 |
commit | 20a403c668123fd040d0a4c3564529faea2f0cd6 (patch) | |
tree | e2b9d3e40fdc3ef9df8a890ccd3dd050083c536a /Build/source/texk/web2c/lib/ChangeLog | |
parent | c55e9a1c36849dc79edf07b43e648d3c46da8214 (diff) |
default preloaded guess to explicit &dumpname if given (from IgorL)
git-svn-id: svn://tug.org/texlive/trunk@49433 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/lib/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index 66a33f23c4d..1e7b8fe97ba 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,10 @@ +2018-12-17 Igor Liferenko <igor.liferenko@gmail.com> + + * texmfmp.c (maininit): default to guessing an explicit &dumpname + as the "preloaded" (not really) format, if one was specified. + tex-k msgs of 23 Sep 2018 12:13:06, 23 Sep 2018 18:36:52. + (With comment and formatting tinkering from karl.) + 2018-12-17 Andreas Scherer <https://ascherer.github.io> * printversion.c (printversionandexit): Search for PROGNAME |