diff options
Diffstat (limited to 'Master/texmf-dist/source/generic/xint/Makefile')
-rw-r--r-- | Master/texmf-dist/source/generic/xint/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/generic/xint/Makefile b/Master/texmf-dist/source/generic/xint/Makefile new file mode 100644 index 00000000000..cc38697b4ab --- /dev/null +++ b/Master/texmf-dist/source/generic/xint/Makefile @@ -0,0 +1,13 @@ +# Makefile for compilation of the complete xint +# documentation, packages, and installation. +# (C) 2014 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. + +# 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 +Makefile.mk: xint.dtx ; etex xint.dtx |