diff options
Diffstat (limited to 'Build/source/libs/gmp/Makefile.am')
-rw-r--r-- | Build/source/libs/gmp/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Build/source/libs/gmp/Makefile.am b/Build/source/libs/gmp/Makefile.am index 064939feb0f..620c46c9c11 100644 --- a/Build/source/libs/gmp/Makefile.am +++ b/Build/source/libs/gmp/Makefile.am @@ -1,8 +1,9 @@ +## $Id$ ## Proxy Makefile.am to build GNU MP for TeX Live. ## -## Copyright (C) 2016 Karl Berry <tex-live@tug.org> -## Copyright (C) 2014-2015 Peter Breitenlohner <tex-live@tug.org> -## Copyright (C) 2014 Taco Hoekwater <taco@metatex.org> +## Copyright 2016-2017 Karl Berry <tex-live@tug.org> +## Copyright 2014-2015 Peter Breitenlohner <tex-live@tug.org> +## Copyright 2014 Taco Hoekwater <taco@metatex.org> ## ## This file is free software; the copyright holder ## gives unlimited permission to copy and/or distribute it, @@ -14,7 +15,7 @@ EXTRA_DIST = $(GMP_TREE) ## Changes applied to the original source tree ## -EXTRA_DIST += gmp-PATCHES +EXTRA_DIST += TLpatches # Files not to be distributed include $(srcdir)/../../am/dist_hook.am |