summaryrefslogtreecommitdiff
path: root/macros/generic/xint/Makefile
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-02-02 03:02:06 +0000
committerNorbert Preining <norbert@preining.info>2020-02-02 03:02:06 +0000
commite05dc0bb38b16bfb9ba35591285e40af0adaadc4 (patch)
tree564fc3b7389c845780f5685d16fe13ae29372fb4 /macros/generic/xint/Makefile
parent5bcf334281674db82263ea71485108bd44a05a5d (diff)
CTAN sync 202002020302
Diffstat (limited to 'macros/generic/xint/Makefile')
-rw-r--r--macros/generic/xint/Makefile14
1 files changed, 5 insertions, 9 deletions
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