diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/kpathsea/ChangeLog | 4 | ||||
-rwxr-xr-x | Build/source/texk/kpathsea/configure | 2 | ||||
-rw-r--r-- | Build/source/texk/kpathsea/kpsewhich.c | 2 |
3 files changed, 7 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/ChangeLog b/Build/source/texk/kpathsea/ChangeLog index 474d4169794..ba1feecea3d 100644 --- a/Build/source/texk/kpathsea/ChangeLog +++ b/Build/source/texk/kpathsea/ChangeLog @@ -1,3 +1,7 @@ +2018-12-24 Andreas Scherer <https://ascherer.github.io> + + * kpsewhich.c: Add missing format placeholder. + 2018-12-21 Karl Berry <karl@freefriends.org> * texmf.cnf (shell_escape_commands): add rmpost. diff --git a/Build/source/texk/kpathsea/configure b/Build/source/texk/kpathsea/configure index 9b88c3db5ec..0c352c98159 100755 --- a/Build/source/texk/kpathsea/configure +++ b/Build/source/texk/kpathsea/configure @@ -8048,6 +8048,8 @@ fi done +## KPSE_COMMON: kpathsea (). +## KPSE_BASIC: Remember kpathsea () as Kpse_Package (for future messages) if test "`cd $srcdir && pwd`" != "`pwd`"; then # Use -I$(srcdir) only when $(srcdir) != ., so that make's output diff --git a/Build/source/texk/kpathsea/kpsewhich.c b/Build/source/texk/kpathsea/kpsewhich.c index ead9af752f2..b4e1d988973 100644 --- a/Build/source/texk/kpathsea/kpsewhich.c +++ b/Build/source/texk/kpathsea/kpsewhich.c @@ -830,7 +830,7 @@ main (int argc, string *argv) } puts (kpse->format_info[user_format].path); } else { - WARNING1 ("kpsewhich: Unknown file type, cannot show path: ", + WARNING1 ("kpsewhich: Unknown file type, cannot show path: %s", path_to_show); } } |