diff options
author | Karl Berry <karl@freefriends.org> | 2022-03-05 17:45:17 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-03-05 17:45:17 +0000 |
commit | a0d8430cdc633d6162a754407218e393e75915ab (patch) | |
tree | 9df53cd5d765ea5fe490318b6f6ed9145d9cb027 /Master/texmf-dist/web2c | |
parent | e5fc4bbe64e539261962ddc5da6531e4e30f3760 (diff) |
build hitex.fmt and hilatex.fmt, using hi*page.tex
git-svn-id: svn://tug.org/texlive/trunk@62436 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/web2c')
-rw-r--r-- | Master/texmf-dist/web2c/texmf.cnf | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/texmf-dist/web2c/texmf.cnf b/Master/texmf-dist/web2c/texmf.cnf index 8e0de981e16..b5d2dfda668 100644 --- a/Master/texmf-dist/web2c/texmf.cnf +++ b/Master/texmf-dist/web2c/texmf.cnf @@ -281,7 +281,12 @@ TEXINPUTS.context = $TEXMFDOTDIR;$TEXMF/tex/{context,plain,generic,}// % OpTeX. TEXINPUTS.optex = $TEXMFDOTDIR;$TEXMF/tex/{optex,plain,generic,}// -% jadetex. +% HiTeX. +TEXINPUTS.hilatex = $TEXMFDOTDIR;$TEXMF/tex/{hilatex,latex,hitex,generic,}// +TEXINPUTS.hilatex-dev = $TEXMFDOTDIR;$TEXMF/tex/{latex-dev,hilatex,latex,hitex,generic,}// +TEXINPUTS.hitex = $TEXMFDOTDIR;$TEXMF/tex/{hitex,plain,generic,latex,}// + +% JadeTeX. TEXINPUTS.jadetex = $TEXMFDOTDIR;$TEXMF/tex/{jadetex,latex,generic,latex,}// TEXINPUTS.pdfjadetex = $TEXMFDOTDIR;$TEXMF/tex/{jadetex,latex,generic,latex,}// |