summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/xint/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-09-17 23:48:30 +0000
committerKarl Berry <karl@freefriends.org>2015-09-17 23:48:30 +0000
commit6aabc6a32e1008cffcec6edce62975ba5f015436 (patch)
tree03f085abab29d1c06cc96cca3a2d147e34eefe36 /Master/texmf-dist/source/generic/xint/Makefile
parent1dea9afd2a49ba51dd8d543a62b5ecdd69fa3802 (diff)
xint (17sep15)
git-svn-id: svn://tug.org/texlive/trunk@38392 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/xint/Makefile')
-rw-r--r--Master/texmf-dist/source/generic/xint/Makefile9
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/generic/xint/Makefile b/Master/texmf-dist/source/generic/xint/Makefile
index b1ba01eb889..df8fd9a0513 100644
--- a/Master/texmf-dist/source/generic/xint/Makefile
+++ b/Master/texmf-dist/source/generic/xint/Makefile
@@ -9,5 +9,12 @@
# Tested with GNU Make 3.81 on Mac OS X Mavericks,
# with TeXLive 2014 and Pandoc 1.13.1, xint.dtx v1.1
-include Makefile.mk
+# For some reason I would like Makefile.mk to be always
+# recreated if xint.dtx is newer, *before* being included
+# here via include, but my brief attempt (2015/09/16) did
+# not succeed.
+
Makefile.mk: xint.dtx ; etex xint.dtx
+
+include Makefile.mk
+