diff options
author | Karl Berry <karl@freefriends.org> | 2020-02-01 22:09:55 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-02-01 22:09:55 +0000 |
commit | 3cac8298f5b8b21ddd1aecbea42a135a9c5e4cb8 (patch) | |
tree | 9920a659b7ad3860aeb7f391e499b7ccf7f886f8 /Master/texmf-dist/source/generic/xint/Makefile | |
parent | 22cb4622b403ec9e42484b7af858243a417e2d12 (diff) |
xint (1feb20)
git-svn-id: svn://tug.org/texlive/trunk@53622 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/xint/Makefile')
-rw-r--r-- | Master/texmf-dist/source/generic/xint/Makefile | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/Master/texmf-dist/source/generic/xint/Makefile b/Master/texmf-dist/source/generic/xint/Makefile index df8fd9a0513..c8bdeb9bf21 100644 --- a/Master/texmf-dist/source/generic/xint/Makefile +++ b/Master/texmf-dist/source/generic/xint/Makefile @@ -1,20 +1,16 @@ -# Makefile for compilation of the complete xint -# documentation, packages, and installation. -# (C) 2014-2015 Jean-Francois Burnol -# distributed under LPPL 1.3c or later at your convenience. - -# with this file Makefile and xint.dtx in a working -# repertory run 'make' and then get further instructions. +# Makefile for building and installing xint +# (C) 2014-2019 Jean-Francois Burnol +# distributed under LPPL 1.3c. # Tested with GNU Make 3.81 on Mac OS X Mavericks, # with TeXLive 2014 and Pandoc 1.13.1, xint.dtx v1.1 +Makefile.mk: xint.dtx ; etex xint.dtx + # 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 |