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 /Build/source/texk/web2c/hitexdir/doc/Makefile | |
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 'Build/source/texk/web2c/hitexdir/doc/Makefile')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/Makefile b/Build/source/texk/web2c/hitexdir/doc/Makefile index e2257dabe04..c069723a2c5 100644 --- a/Build/source/texk/web2c/hitexdir/doc/Makefile +++ b/Build/source/texk/web2c/hitexdir/doc/Makefile @@ -3,7 +3,7 @@ # This is not run as part of the build, just a convenience used by hand # from the Build/source/... directory. -INSTALL_DATA = cp -pf +INSTALL_DATA = cp -pfv texmf_dist = ../../../../../../Master/texmf-dist hitex_makeindex_dir = $(texmf_dist)/makeindex/hitex/hint.ist @@ -13,4 +13,4 @@ install: $(INSTALL_DATA) hint.ist $(hitex_makeindex_dir) for f in hiformat.hnt hiformat.pdf hint.sty \ hitexman.hnt hitexman.pdf hitexman.tex; do \ - $(INSTALL_DATA) $$f $(hitex_doc_dir) || exit 1; done + $(INSTALL_DATA) $$f $(hitex_doc_dir)/ || exit 1; done |