diff options
Diffstat (limited to 'Build/source/libs/gmp/Makefile.am')
-rw-r--r-- | Build/source/libs/gmp/Makefile.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/libs/gmp/Makefile.am b/Build/source/libs/gmp/Makefile.am index fcc5ebd969e..5cc6530748a 100644 --- a/Build/source/libs/gmp/Makefile.am +++ b/Build/source/libs/gmp/Makefile.am @@ -1,7 +1,7 @@ ## Proxy Makefile.am to build GNU MP for TeX Live. ## ## Copyright (C) 2014 Taco Hoekwater <taco@metatex.org> -## Copyright (C) 2014 Peter Breitenlohner <tex-live@tug.org> +## Copyright (C) 2014, 2015 Peter Breitenlohner <tex-live@tug.org> ## ## This file is free software; the copyright holder ## gives unlimited permission to copy and/or distribute it, @@ -15,9 +15,9 @@ EXTRA_DIST = $(GMP_TREE) ## EXTRA_DIST += $(GMP_TREE)-PATCHES -# in case of an SVN repository -dist-hook: - rm -rf `find $(distdir) -name .svn -o -name .deps -o -name .dirstamp -o -name '*.$(OBJEXT)'` +# Files not to be distributed +include $(srcdir)/../../am/dist_hook.am +NEVER_NAMES += $(NEVER_NAMES_SUB) SUBDIRS = native . include |