diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/m-arabtex.tex')
-rw-r--r-- | Master/texmf-dist/tex/context/base/m-arabtex.tex | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/Master/texmf-dist/tex/context/base/m-arabtex.tex b/Master/texmf-dist/tex/context/base/m-arabtex.tex index 6220835f505..af721338765 100644 --- a/Master/texmf-dist/tex/context/base/m-arabtex.tex +++ b/Master/texmf-dist/tex/context/base/m-arabtex.tex @@ -248,7 +248,7 @@ \def\ARABTEXsh@ft#1% {\dimen@.00#1ex - \multiply\dimen@\fontdimen1\font + \multiply\dimen@\slantperpoint \kern-.0156\dimen@} \appendtoks @@ -378,13 +378,6 @@ %D perfect instrument to cross cultural and linguistic %D borders. So, let's load Hebrew support as well: -% \unexpanded\def\sethebrewfont#1% strange font dimensions / scale -% {\scratchdimen=10\bodyfontsize -% \font\hebfont=\truefontname{Hebrew#1} at \currentfontscale\scratchdimen -% \fontdimen5\hebfont=.8\fontdimen2\hebfont -% \fontdimen6\hebfont=3\fontdimen5\hebfont -% \hebfont} - \unexpanded\def\sethebrewfont#1% {\setx@skels \newfonttrue |