diff options
Diffstat (limited to 'Build/source/texk/web2c/web2c/configure')
-rwxr-xr-x | Build/source/texk/web2c/web2c/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/web2c/configure b/Build/source/texk/web2c/web2c/configure index 94493ce53da..e977e3f50e2 100755 --- a/Build/source/texk/web2c/web2c/configure +++ b/Build/source/texk/web2c/web2c/configure @@ -8022,6 +8022,8 @@ fi done +##tldbg KPSE_COMMON: web2c convert (). +##tldbg KPSE_BASIC: Remember web2c convert () as Kpse_Package (for future messages). if test "`cd $srcdir && pwd`" != "`pwd`"; then # Use -I$(srcdir) only when $(srcdir) != ., so that make's output |