diff options
Diffstat (limited to 'Build/source/utils/xindy/Makefile.in')
-rw-r--r-- | Build/source/utils/xindy/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/Makefile.in b/Build/source/utils/xindy/Makefile.in index 11f768f848d..533ffd8627d 100644 --- a/Build/source/utils/xindy/Makefile.in +++ b/Build/source/utils/xindy/Makefile.in @@ -197,7 +197,6 @@ htmldir = @htmldir@ includedir = @includedir@ infodir = @infodir@ install_sh = @install_sh@ -is_TL = @is_TL@ libdir = @libdir@ libexecdir = @libexecdir@ localedir = @localedir@ |