summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-03-10 00:14:50 +0000
committerKarl Berry <karl@freefriends.org>2017-03-10 00:14:50 +0000
commit11f1c3b5d1177ff93ca714eaf2690fcfd1dbf57a (patch)
tree4b21dca6e6a68602c7753c031c9c553f32cbf301 /Build
parent82e5a90bfde07a5459c34702012cb65d32038575 (diff)
(reauto): new convenience target
git-svn-id: svn://tug.org/texlive/trunk@43448 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r--Build/source/ChangeLog4
-rw-r--r--Build/source/Makefile.am6
-rw-r--r--Build/source/Makefile.in6
3 files changed, 14 insertions, 2 deletions
diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog
index 781c0a26336..05fb9244eb6 100644
--- a/Build/source/ChangeLog
+++ b/Build/source/ChangeLog
@@ -1,3 +1,7 @@
+2017-03-10 Karl Berry <karl@tug.org>
+
+ * Makefile.am (reauto): convenience target.
+
2016-11-16 Karl Berry <karl@tug.org>
* Makefile.am (install-exec-hook): warn that the
diff --git a/Build/source/Makefile.am b/Build/source/Makefile.am
index 3807c07d0a1..57341028f98 100644
--- a/Build/source/Makefile.am
+++ b/Build/source/Makefile.am
@@ -76,11 +76,15 @@ endif !cross
skip:
.PHONY: skip
-# Directly run texlinks.
+# Convenience targets to run texlinks and reautoconf.
.PHONY: texlinks
texlinks:
cd $(texlinks_dir) && $(MAKE) $(AM_MAKEFLAGS) run-texlinks
+.PHONY: triptrap
+reauto:
+ ./reautoconf
+
# Special target to run TRIP and TRAP tests and create diffs.
.PHONY: triptrap
triptrap:
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index 4d9bc8ace97..d8020033f21 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -1046,11 +1046,15 @@ install-exec-hook:
skip:
.PHONY: skip
-# Directly run texlinks.
+# Convenience targets to run texlinks and reautoconf.
.PHONY: texlinks
texlinks:
cd $(texlinks_dir) && $(MAKE) $(AM_MAKEFLAGS) run-texlinks
+.PHONY: triptrap
+reauto:
+ ./reautoconf
+
# Special target to run TRIP and TRAP tests and create diffs.
.PHONY: triptrap
triptrap: