diff options
Diffstat (limited to 'Build/source/utils/xindy/Makefile.in')
-rw-r--r-- | Build/source/utils/xindy/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/Makefile.in b/Build/source/utils/xindy/Makefile.in index 6dfbb8e0432..198fc5954c8 100644 --- a/Build/source/utils/xindy/Makefile.in +++ b/Build/source/utils/xindy/Makefile.in @@ -287,6 +287,7 @@ EXTRA_DIST = README-clisp $(XINDY_TREE)-PATCHES $(XINDY_TREE)/AUTHORS \ ../../build-aux/relpath SUBDIRS = . $(XINDY_TREE) DIST_SUBDIRS = $(SUBDIRS) +DISTCLEANFILES = config.force perl_scripts = texindy xindy scriptsdir = texmf/scripts/xindy nodist_bin_SCRIPTS = $(am__append_1) @@ -787,6 +788,7 @@ clean-generic: distclean-generic: -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES) -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) + -test -z "$(DISTCLEANFILES)" || rm -f $(DISTCLEANFILES) maintainer-clean-generic: @echo "This command is intended for maintainers to use" |