diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/hitexdir/tex/Makefile b/Build/source/texk/web2c/hitexdir/tex/Makefile index 4607ba75a05..5e84ea3956e 100644 --- a/Build/source/texk/web2c/hitexdir/tex/Makefile +++ b/Build/source/texk/web2c/hitexdir/tex/Makefile @@ -10,13 +10,17 @@ hitex_tex_dir = $(texmf_dist)/tex/hitex/base # install: for f in hilatex.ini hiltxpage.tex hiplainpage.tex \ - hitex.ini ifhint.tex; do \ + hitex.ini ifhint.tex hhitex.def ; do \ $(INSTALL_DATA) $$f $(hitex_tex_dir)/ || exit 1; done cd $(hitex_tex_dir) && /bin/pwd && svn status fmt: hitex.fmt + hitex.fmt: hitex.ini hitex -ini -etex -ltx $< +hilatex.fmt: hilatex.ini + hitex -ini -etex -ltx $< + clean: rm -f *.fmt *.log *.aux *.hint *.hnt |