diff options
Diffstat (limited to 'Build/source/utils/xindy/Makefile.am')
| -rw-r--r-- | Build/source/utils/xindy/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/utils/xindy/Makefile.am b/Build/source/utils/xindy/Makefile.am index 68b34f4f207..2ee8f4532b3 100644 --- a/Build/source/utils/xindy/Makefile.am +++ b/Build/source/utils/xindy/Makefile.am @@ -71,8 +71,8 @@ texmfdir = $(datarootdir)/$(scriptsdir) nodist_texmf_SCRIPTS = $(perl_scripts:=.pl) %.pl: $(XINDY_TREE)/user-commands/%.in - sed -e 's:@is_TL\@:yes:' $< >$@ - chmod +x $@ + $(AM_V_GEN)sed -e 's:@is_TL\@:yes:' $< >$@ + $(AM_V_at)chmod +x $@ CLEANFILES = $(nodist_bin_SCRIPTS) $(nodist_texmf_SCRIPTS) |