diff options
author | Karl Berry <karl@freefriends.org> | 2018-12-24 23:22:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-12-24 23:22:06 +0000 |
commit | 89fd23786fcc350c4c3632da12bd090889e0e372 (patch) | |
tree | 3b9443de5a992a462472098547c1230021f4a241 /Build/source/utils/xindy/configure | |
parent | e598b6a83ccb96d578300e10f1e269ef88027faf (diff) |
reautoconf
git-svn-id: svn://tug.org/texlive/trunk@49496 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-x | Build/source/utils/xindy/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/configure b/Build/source/utils/xindy/configure index 87afad205ce..6cf63b6c09b 100755 --- a/Build/source/utils/xindy/configure +++ b/Build/source/utils/xindy/configure @@ -3519,6 +3519,7 @@ else fi ;; esac +##tldbg KPSE_BASIC: Remember xindy (no-define) as Kpse_Package (for future messages). if test "`cd $srcdir && pwd`" != "`pwd`"; then # Use -I$(srcdir) only when $(srcdir) != ., so that make's output |