diff options
Diffstat (limited to 'tex/context/base/font-ini.mkvi')
| -rw-r--r-- | tex/context/base/font-ini.mkvi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tex/context/base/font-ini.mkvi b/tex/context/base/font-ini.mkvi index c1e6d9390..556816f6d 100644 --- a/tex/context/base/font-ini.mkvi +++ b/tex/context/base/font-ini.mkvi @@ -2172,6 +2172,9 @@ \unexpanded\def\fontchar#character% {\ctxcommand{fontchar("#character")}} +\unexpanded\def\fontcharbyindex#index% unofficial command, for idris' font building + {\ctxcommand{fontcharbyindex(\number#index)}} + %D The next auxilliary macro is an alternative to \type %D {\fontname}. |