diff options
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 |