diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc b/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc index 82a898992e2..0cc598fe1dc 100644 --- a/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc +++ b/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc @@ -1,4 +1,10 @@ -execute AddHyphen name=german-x-2009-06-19 file=dehypht-x-2009-06-19.tex \ - synonyms=german-x-latest lefthyphenmin=2 righthyphenmin=2 -execute AddHyphen name=ngerman-x-2009-06-19 file=dehyphn-x-2009-06-19.tex \ - synonyms=ngerman-x-latest lefthyphenmin=2 righthyphenmin=2 +execute AddHyphen \ + name=german-x-2009-06-19 synonyms=german-x-latest \ + lefthyphenmin=2 righthyphenmin=2 \ + file=dehypht-x-2009-06-19.tex \ + file_patterns=hyph-de-1901.pat.txt file_exceptions=hyph-de-1901.hyp.txt +execute AddHyphen \ + name=ngerman-x-2009-06-19 synonyms=ngerman-x-latest \ + lefthyphenmin=2 righthyphenmin=2 \ + file=dehyphn-x-2009-06-19.tex \ + file_patterns=hyph-de-1996.pat.txt file_exceptions=hyph-de-1996.hyp.txt |