diff options
author | Karl Berry <karl@freefriends.org> | 2016-07-08 15:37:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-07-08 15:37:48 +0000 |
commit | f6915366839ac9b199d6cce654dd1c6169a43f21 (patch) | |
tree | 8c6921668fb65fc756133b31b80cd351963bb02d /Master/tlpkg/tlpsrc | |
parent | 6b2df051be4aa848826877b41cab52cd1fa1d3f2 (diff) |
velthuis re-import with devnag man pages
git-svn-id: svn://tug.org/texlive/trunk@41660 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/devnag.tlpsrc | 2 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/velthuis.tlpsrc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/devnag.tlpsrc b/Master/tlpkg/tlpsrc/devnag.tlpsrc index 13f20e47a7a..8febcb0331f 100644 --- a/Master/tlpkg/tlpsrc/devnag.tlpsrc +++ b/Master/tlpkg/tlpsrc/devnag.tlpsrc @@ -1,3 +1 @@ -category TLCore catalogue devanagari -binpattern f bin/${ARCH}/${PKGNAME} diff --git a/Master/tlpkg/tlpsrc/velthuis.tlpsrc b/Master/tlpkg/tlpsrc/velthuis.tlpsrc index 93ee213f6b8..229fcae9d68 100644 --- a/Master/tlpkg/tlpsrc/velthuis.tlpsrc +++ b/Master/tlpkg/tlpsrc/velthuis.tlpsrc @@ -1,3 +1,5 @@ catalogue devanagari depend xetex-devanagari execute addMixedMap dvng.map +binpattern f bin/${ARCH}/${PKGNAME} +docpattern +f texmf-dist/doc/man/man1/devnag.* |