diff options
| author | Karl Berry <karl@freefriends.org> | 2016-07-09 15:28:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2016-07-09 15:28:20 +0000 |
| commit | 8388b9579dc3a69678aac4f535ff7b10e81e6742 (patch) | |
| tree | e0a1c8920c7ee241db82bc980c6aa5712b5b00f9 | |
| parent | d0d55c93e03b2adf5cc6f6ac700babd74d566e03 (diff) | |
devnag, not ${PKGNAME}
git-svn-id: svn://tug.org/texlive/trunk@41666 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Master/tlpkg/tlpsrc/velthuis.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/velthuis.tlpsrc b/Master/tlpkg/tlpsrc/velthuis.tlpsrc index 229fcae9d68..da2a2cb03bc 100644 --- a/Master/tlpkg/tlpsrc/velthuis.tlpsrc +++ b/Master/tlpkg/tlpsrc/velthuis.tlpsrc @@ -1,5 +1,5 @@ catalogue devanagari depend xetex-devanagari execute addMixedMap dvng.map -binpattern f bin/${ARCH}/${PKGNAME} +binpattern f bin/${ARCH}/devnag docpattern +f texmf-dist/doc/man/man1/devnag.* |