diff options
Diffstat (limited to 'Master/texmf-dist/source/generic/xint/Makefile')
-rw-r--r-- | Master/texmf-dist/source/generic/xint/Makefile | 9 |
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 + |