diff options
Diffstat (limited to 'Build/source/utils/xindy/configure.ac')
-rw-r--r-- | Build/source/utils/xindy/configure.ac | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Build/source/utils/xindy/configure.ac b/Build/source/utils/xindy/configure.ac index 29fa7b57e09..b45f0d1679d 100644 --- a/Build/source/utils/xindy/configure.ac +++ b/Build/source/utils/xindy/configure.ac @@ -203,9 +203,4 @@ AC_CONFIG_FILES([Makefile \ xindy/doc/style-tutorial/Makefile \ ]) -# In a TeX Live build enable_texlive_build is yes, otherwise undefined. -AC_SUBST([is_TL], ["$enable_texlive_build"]) -AC_CONFIG_FILES([xindy/user-commands/texindy], [chmod +x xindy/user-commands/texindy]) -AC_CONFIG_FILES([xindy/user-commands/xindy], [chmod +x xindy/user-commands/xindy]) - AC_OUTPUT |