summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/hitexdir/tex/Makefile6
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