diff options
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/Makefile')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/Makefile b/Build/source/texk/web2c/hitexdir/doc/Makefile new file mode 100644 index 00000000000..e2257dabe04 --- /dev/null +++ b/Build/source/texk/web2c/hitexdir/doc/Makefile @@ -0,0 +1,16 @@ +# $Id$ +# Standalone Makefile for hitex/doc. Public domain. +# This is not run as part of the build, just a convenience used by hand +# from the Build/source/... directory. + +INSTALL_DATA = cp -pf + +texmf_dist = ../../../../../../Master/texmf-dist +hitex_makeindex_dir = $(texmf_dist)/makeindex/hitex/hint.ist +hitex_doc_dir = $(texmf_dist)/doc/hitex/base +# +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 |