diff options
author | Norbert Preining <norbert@preining.info> | 2021-04-03 09:11:28 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-04-03 09:11:57 +0900 |
commit | 9dce0a9e3ffee302c3a84cbef68d822f331c6fa0 (patch) | |
tree | 17fd0944b1d1725764c24c573ecf7681b5a57a0d /tlpkg | |
parent | 3cc9d6f473501e915def164cbbbccd1a2535dbe5 (diff) |
drop harftex
Diffstat (limited to 'tlpkg')
-rw-r--r-- | tlpkg/tlpsrc/harftex.tlpsrc | 9 |
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 |