diff options
Diffstat (limited to 'Build/source/utils/xindy/configure.ac')
| -rw-r--r-- | Build/source/utils/xindy/configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/configure.ac b/Build/source/utils/xindy/configure.ac index b45f0d1679d..29fa7b57e09 100644 --- a/Build/source/utils/xindy/configure.ac +++ b/Build/source/utils/xindy/configure.ac @@ -203,4 +203,9 @@ 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 |