diff options
Diffstat (limited to 'Build/source/texk/kpathsea/configure')
-rwxr-xr-x | Build/source/texk/kpathsea/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/kpathsea/configure b/Build/source/texk/kpathsea/configure index 0c352c98159..6537f0559c2 100755 --- a/Build/source/texk/kpathsea/configure +++ b/Build/source/texk/kpathsea/configure @@ -8048,8 +8048,8 @@ fi done -## KPSE_COMMON: kpathsea (). -## KPSE_BASIC: Remember kpathsea () as Kpse_Package (for future messages) +##tldbg KPSE_COMMON: kpathsea (). +##tldbg 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 |