diff options
Diffstat (limited to 'Build/source/texk/Makefile.in')
-rw-r--r-- | Build/source/texk/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/Makefile.in b/Build/source/texk/Makefile.in index ecdc2fab9a1..7f03306ea70 100644 --- a/Build/source/texk/Makefile.in +++ b/Build/source/texk/Makefile.in @@ -297,7 +297,7 @@ distuninstallcheck_listfiles = find . -type f -print am__distuninstallcheck_listfiles = $(distuninstallcheck_listfiles) \ | sed 's|^\./|$(prefix)/|' | grep -v '$(infodir)/dir$$' distcleancheck_listfiles = find . -type f -print -ACLOCAL = @ACLOCAL@ +ACLOCAL = @ACLOCAL@ --force AMTAR = @AMTAR@ AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@ AUTOCONF = @AUTOCONF@ |