diff options
Diffstat (limited to 'Build/source/texk/detex/Makefile.in')
| -rw-r--r-- | Build/source/texk/detex/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/detex/Makefile.in b/Build/source/texk/detex/Makefile.in index 881716f8d72..cedd0eed423 100644 --- a/Build/source/texk/detex/Makefile.in +++ b/Build/source/texk/detex/Makefile.in @@ -544,7 +544,6 @@ target_alias = @target_alias@ top_build_prefix = @top_build_prefix@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ -ACLOCAL_AMFLAGS = -I ../../m4 EXTRA_DIST = $(DETEX_TREE) $(DETEX_TREE)-PATCHES test.lout test.tex \ test.tout AM_CPPFLAGS = -I$(top_srcdir)/$(DETEX_TREE) $(KPATHSEA_INCLUDES) -DNO_MALLOC_DECL -DKPATHSEA -Dlint |