summaryrefslogtreecommitdiff
path: root/Build/source/libs/lua52
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-03-21 17:43:10 +0000
committerKarl Berry <karl@freefriends.org>2017-03-21 17:43:10 +0000
commit567dac608f05e119bd3377f4ce06f650462ed689 (patch)
treed7ddf3fe652e3762d39c4db8df41d892d028c992 /Build/source/libs/lua52
parent8e59f1a263dd829945116de0863fbf023f8f07b5 (diff)
EXTRA_DIST=TLpatches to reflect new directory names
git-svn-id: svn://tug.org/texlive/trunk@43567 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/lua52')
-rw-r--r--Build/source/libs/lua52/Makefile.am6
-rw-r--r--Build/source/libs/lua52/Makefile.in2
2 files changed, 5 insertions, 3 deletions
diff --git a/Build/source/libs/lua52/Makefile.am b/Build/source/libs/lua52/Makefile.am
index a1e61ddd025..314b345714b 100644
--- a/Build/source/libs/lua52/Makefile.am
+++ b/Build/source/libs/lua52/Makefile.am
@@ -1,6 +1,8 @@
+## $Id$
## Proxy Makefile.am to build Lua52 for TeX Live.
##
-## Copyright (C) 2013-2015 Peter Breitenlohner <tex-live@tug.org>
+## Copyright 2017 Karl Berry <tex-live@tug.org>
+## Copyright 2013-2015 Peter Breitenlohner <tex-live@tug.org>
##
## This file is free software; the copyright holder
## gives unlimited permission to copy and/or distribute it,
@@ -12,7 +14,7 @@ EXTRA_DIST = $(LUA52_TREE)
## Changes applied to the original source tree
##
-EXTRA_DIST += lua52-PATCHES
+EXTRA_DIST += TLpatches
# Files not to be distributed
include $(srcdir)/../../am/dist_hook.am
diff --git a/Build/source/libs/lua52/Makefile.in b/Build/source/libs/lua52/Makefile.in
index 1ae560fd4f5..51c54726538 100644
--- a/Build/source/libs/lua52/Makefile.in
+++ b/Build/source/libs/lua52/Makefile.in
@@ -620,7 +620,7 @@ target_alias = @target_alias@
top_build_prefix = @top_build_prefix@
top_builddir = @top_builddir@
top_srcdir = @top_srcdir@
-EXTRA_DIST = $(LUA52_TREE) lua52-PATCHES error.exp
+EXTRA_DIST = $(LUA52_TREE) TLpatches error.exp
NEVER_DIST = `find . $(NEVER_NAMES)`
# Files not to be distributed