From e05dc0bb38b16bfb9ba35591285e40af0adaadc4 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Sun, 2 Feb 2020 03:02:06 +0000 Subject: CTAN sync 202002020302 --- macros/generic/xint/Makefile | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) (limited to 'macros/generic/xint/Makefile') diff --git a/macros/generic/xint/Makefile b/macros/generic/xint/Makefile index df8fd9a051..c8bdeb9bf2 100644 --- a/macros/generic/xint/Makefile +++ b/macros/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 -- cgit v1.2.3