diff options
author | Karl Berry <karl@freefriends.org> | 2015-07-03 23:24:59 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-07-03 23:24:59 +0000 |
commit | f1073f0dfaaeabd2edda00c472a3d814fad132fa (patch) | |
tree | f72e3d8d9e989b6fa399a13600be3d88168eebca /Master/tlpkg/tlpsrc/make4ht.tlpsrc | |
parent | 0562fc367d1605303c6b2674d0d6b73b37d1d888 (diff) |
make4ht (29jul15)
git-svn-id: svn://tug.org/texlive/trunk@37750 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/make4ht.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/make4ht.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/make4ht.tlpsrc b/Master/tlpkg/tlpsrc/make4ht.tlpsrc new file mode 100644 index 00000000000..dca338c719c --- /dev/null +++ b/Master/tlpkg/tlpsrc/make4ht.tlpsrc @@ -0,0 +1 @@ +binpattern f bin/${ARCH}/${PKGNAME} |