diff options
author | Karl Berry <karl@freefriends.org> | 2016-02-15 21:39:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-02-15 21:39:16 +0000 |
commit | 4af143877155448dadfe2ac57e4b290a75b9ad49 (patch) | |
tree | dfb58f42700e617639421dc7781524abf6d827b4 /Build/source/libs/gmp | |
parent | ac696bf78edd670ee0edf00a710abb41e9c3dcb3 (diff) |
use convention pkg-PATCHES/ instead of pkg-src-PATCHES/, for better completion
git-svn-id: svn://tug.org/texlive/trunk@39725 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/gmp')
-rw-r--r-- | Build/source/libs/gmp/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/libs/gmp/Makefile.am | 5 | ||||
-rw-r--r-- | Build/source/libs/gmp/Makefile.in | 2 | ||||
-rw-r--r-- | Build/source/libs/gmp/gmp-PATCHES/ChangeLog (renamed from Build/source/libs/gmp/gmp-src-PATCHES/ChangeLog) | 0 | ||||
-rw-r--r-- | Build/source/libs/gmp/gmp-PATCHES/TL-Changes (renamed from Build/source/libs/gmp/gmp-src-PATCHES/TL-Changes) | 0 |
5 files changed, 9 insertions, 3 deletions
diff --git a/Build/source/libs/gmp/ChangeLog b/Build/source/libs/gmp/ChangeLog index 94c6f2de5df..18252dcc023 100644 --- a/Build/source/libs/gmp/ChangeLog +++ b/Build/source/libs/gmp/ChangeLog @@ -1,3 +1,8 @@ +2016-02-15 Karl Berry <karl@tug.org> + + * gmp-PATCHES: rename from gmp-src-PATCHES. + * Makefile.am (EXTRA_DIST): likewise. + 2015-12-28 Akira Kakuto <kakuto@fuk.kindai.ac.jp> Import gmp-6.1.0. diff --git a/Build/source/libs/gmp/Makefile.am b/Build/source/libs/gmp/Makefile.am index 34f862f6738..064939feb0f 100644 --- a/Build/source/libs/gmp/Makefile.am +++ b/Build/source/libs/gmp/Makefile.am @@ -1,7 +1,8 @@ ## 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 (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, @@ -13,7 +14,7 @@ EXTRA_DIST = $(GMP_TREE) ## Changes applied to the original source tree ## -EXTRA_DIST += $(GMP_TREE)-PATCHES +EXTRA_DIST += gmp-PATCHES # Files not to be distributed include $(srcdir)/../../am/dist_hook.am diff --git a/Build/source/libs/gmp/Makefile.in b/Build/source/libs/gmp/Makefile.in index 56e33413b51..91dcf704bbd 100644 --- a/Build/source/libs/gmp/Makefile.in +++ b/Build/source/libs/gmp/Makefile.in @@ -721,7 +721,7 @@ target_alias = @target_alias@ top_build_prefix = @top_build_prefix@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ -EXTRA_DIST = $(GMP_TREE) $(GMP_TREE)-PATCHES +EXTRA_DIST = $(GMP_TREE) gmp-PATCHES NEVER_DIST = `find . $(NEVER_NAMES)` # Files not to be distributed diff --git a/Build/source/libs/gmp/gmp-src-PATCHES/ChangeLog b/Build/source/libs/gmp/gmp-PATCHES/ChangeLog index 12e4e93b696..12e4e93b696 100644 --- a/Build/source/libs/gmp/gmp-src-PATCHES/ChangeLog +++ b/Build/source/libs/gmp/gmp-PATCHES/ChangeLog diff --git a/Build/source/libs/gmp/gmp-src-PATCHES/TL-Changes b/Build/source/libs/gmp/gmp-PATCHES/TL-Changes index 5b403d1df85..5b403d1df85 100644 --- a/Build/source/libs/gmp/gmp-src-PATCHES/TL-Changes +++ b/Build/source/libs/gmp/gmp-PATCHES/TL-Changes |