summaryrefslogtreecommitdiff
path: root/tlpkg/tlpsrc
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-04-03 09:11:28 +0900
committerNorbert Preining <norbert@preining.info>2021-04-03 09:11:57 +0900
commit9dce0a9e3ffee302c3a84cbef68d822f331c6fa0 (patch)
tree17fd0944b1d1725764c24c573ecf7681b5a57a0d /tlpkg/tlpsrc
parent3cc9d6f473501e915def164cbbbccd1a2535dbe5 (diff)
drop harftex
Diffstat (limited to 'tlpkg/tlpsrc')
-rw-r--r--tlpkg/tlpsrc/harftex.tlpsrc9
1 files changed, 0 insertions, 9 deletions
diff --git a/tlpkg/tlpsrc/harftex.tlpsrc b/tlpkg/tlpsrc/harftex.tlpsrc
deleted file mode 100644
index a3482fdf..00000000
--- a/tlpkg/tlpsrc/harftex.tlpsrc
+++ /dev/null
@@ -1,9 +0,0 @@
-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" \
- patterns=language.dat,language.dat.lua
-execute AddFormat name=harflatex-dev engine=harftex options="lualatex.ini" \
- patterns=language.dat,language.dat.lua