summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/hitexdir/doc/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-03-05 17:45:17 +0000
committerKarl Berry <karl@freefriends.org>2022-03-05 17:45:17 +0000
commita0d8430cdc633d6162a754407218e393e75915ab (patch)
tree9df53cd5d765ea5fe490318b6f6ed9145d9cb027 /Build/source/texk/web2c/hitexdir/doc/Makefile
parente5fc4bbe64e539261962ddc5da6531e4e30f3760 (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/Makefile4
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