diff options
Diffstat (limited to 'Build/source/texk/detex/Makefile.am')
| -rw-r--r-- | Build/source/texk/detex/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Build/source/texk/detex/Makefile.am b/Build/source/texk/detex/Makefile.am index 8383abffe4b..f24df275862 100644 --- a/Build/source/texk/detex/Makefile.am +++ b/Build/source/texk/detex/Makefile.am @@ -10,9 +10,6 @@ EXTRA_DIST = $(DETEX_TREE) ## Patches applied to the original source tree EXTRA_DIST += $(DETEX_TREE)-PATCHES -## Prepare for switch detex-2.7 -> detex-2.8 -EXTRA_DIST += $(OTHER_TREE) $(OTHER_TREE)-PATCHES - # in case of an SVN repository dist-hook: rm -rf `find $(distdir) -name .svn` |