summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-07-27 07:31:23 +0900
committerNorbert Preining <norbert@preining.info>2019-07-27 07:31:23 +0900
commit840740c5c11ad507ec2e0c6408f2247d04b15bd5 (patch)
treef3e4f533130dd47a4347ed0ceea0969d2f4ca7cf
parent19cac70a1652fb798931b5f5dc6cb0c1e9586e6c (diff)
add -dev bin patterns
-rw-r--r--tlpkg/tlpsrc/harftex.tlpsrc1
-rw-r--r--tlpkg/tlpsrc/luahbtex.tlpsrc1
2 files changed, 2 insertions, 0 deletions
diff --git a/tlpkg/tlpsrc/harftex.tlpsrc b/tlpkg/tlpsrc/harftex.tlpsrc
index 96ead81c..a3482fdf 100644
--- a/tlpkg/tlpsrc/harftex.tlpsrc
+++ b/tlpkg/tlpsrc/harftex.tlpsrc
@@ -1,5 +1,6 @@
binpattern f bin/${ARCH}/harftex
binpattern f bin/${ARCH}/harflatex
+binpattern f bin/${ARCH}/harflatex-dev
execute AddFormat name=harftex engine=harftex options="luatex.ini" \
patterns=language.def,language.dat.lua
execute AddFormat name=harflatex engine=harftex options="lualatex.ini" \
diff --git a/tlpkg/tlpsrc/luahbtex.tlpsrc b/tlpkg/tlpsrc/luahbtex.tlpsrc
index f3ecdde2..59c51c18 100644
--- a/tlpkg/tlpsrc/luahbtex.tlpsrc
+++ b/tlpkg/tlpsrc/luahbtex.tlpsrc
@@ -1,5 +1,6 @@
binpattern f bin/${ARCH}/luahbtex
binpattern f bin/${ARCH}/luahblatex
+binpattern f bin/${ARCH}/luahblatex-dev
binpattern f bin/${ARCH}/luajithbtex
binpattern f bin/${ARCH}/luajithblatex
execute AddFormat name=luahbtex engine=luahbtex options="-etex luatex.ini" \