summaryrefslogtreecommitdiff
path: root/Build/source/utils/texdoctk/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/texdoctk/configure')
-rwxr-xr-xBuild/source/utils/texdoctk/configure1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/utils/texdoctk/configure b/Build/source/utils/texdoctk/configure
index d8bcd1a1954..59c89098ada 100755
--- a/Build/source/utils/texdoctk/configure
+++ b/Build/source/utils/texdoctk/configure
@@ -3401,6 +3401,7 @@ else
fi ;;
esac
+##tldbg KPSE_BASIC: Remember texdoctk () as Kpse_Package (for future messages).
if test "`cd $srcdir && pwd`" != "`pwd`"; then
# Use -I$(srcdir) only when $(srcdir) != ., so that make's output