summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-07-09 15:28:20 +0000
committerKarl Berry <karl@freefriends.org>2016-07-09 15:28:20 +0000
commit8388b9579dc3a69678aac4f535ff7b10e81e6742 (patch)
treee0a1c8920c7ee241db82bc980c6aa5712b5b00f9
parentd0d55c93e03b2adf5cc6f6ac700babd74d566e03 (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.tlpsrc2
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.*