diff options
author | Norbert Preining <norbert@preining.info> | 2021-11-09 14:32:27 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-11-09 14:32:27 +0900 |
commit | 84340f13be07a07d0b39b6c670a3a5b3244c671c (patch) | |
tree | cf6a2f2c5844f45113d9131b8d93e05a71beb20c | |
parent | 51e129f74bc7a15741ee101f24d917c7d7ccec5f (diff) |
rename latex-dev-dev to devlatex
l--------- | bin/x86_64-linux/devlatex (renamed from bin/x86_64-linux/latex-dev-dev) | 0 | ||||
l--------- | bin/x86_64-linux/devpdflatex (renamed from bin/x86_64-linux/pdflatex-dev-dev) | 0 | ||||
-rw-r--r-- | tlpkg/tlpsrc/pdftex-dev.tlpsrc | 9 |
3 files changed, 5 insertions, 4 deletions
diff --git a/bin/x86_64-linux/latex-dev-dev b/bin/x86_64-linux/devlatex index 3b47c905..3b47c905 120000 --- a/bin/x86_64-linux/latex-dev-dev +++ b/bin/x86_64-linux/devlatex diff --git a/bin/x86_64-linux/pdflatex-dev-dev b/bin/x86_64-linux/devpdflatex index 3b47c905..3b47c905 120000 --- a/bin/x86_64-linux/pdflatex-dev-dev +++ b/bin/x86_64-linux/devpdflatex diff --git a/tlpkg/tlpsrc/pdftex-dev.tlpsrc b/tlpkg/tlpsrc/pdftex-dev.tlpsrc index 09a577eb..8aea99d7 100644 --- a/tlpkg/tlpsrc/pdftex-dev.tlpsrc +++ b/tlpkg/tlpsrc/pdftex-dev.tlpsrc @@ -8,16 +8,17 @@ tlpsetvar fmtcomm ${global_latex_deps},latex tlpsetvar nonluafmtdeps dehyph,hyph-utf8,latexconfig tlpsetvar luafmtdeps lm,luaotfload -execute AddFormat name=latex-dev-dev engine=pdftex-dev \ +execute AddFormat name=devlatex engine=pdftex-dev \ patterns=language.dat \ options="-translate-file=cp227.tcx *latex.ini" \ fmttriggers=${fmtcomm},${nonluafmtdeps} -execute AddFormat name=pdflatex-dev-dev engine=pdftex-dev \ +execute AddFormat name=devpdflatex engine=pdftex-dev \ patterns=language.dat \ options="-translate-file=cp227.tcx *pdflatex.ini" \ fmttriggers=${fmtcomm},${nonluafmtdeps} binpattern f bin/${ARCH}/pdftex-dev -binpattern f bin/${ARCH}/pdflatex-dev-dev -binpattern f bin/${ARCH}/latex-dev-dev +binpattern f bin/${ARCH}/devpdflatex +binpattern f bin/${ARCH}/devlatex + |