diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2023-04-18 13:34:24 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2023-04-18 13:34:24 +0000 |
commit | 5af7a4c1dca2081b0e73137c977bede6f0d2d94b (patch) | |
tree | a060e5dcb9ed835d4ea62de94baaad5c9533b809 /Build | |
parent | 42c36aac9dd907f7dcdc17886028918099fb73ea (diff) |
HINT: adding hhitex.def, the driver for hyperref to the Makefile
git-svn-id: svn://tug.org/texlive/trunk@66879 c570f23f-e606-0410-a88d-b1316a301751
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 |