summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/hitexdir/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/Makefile')
-rw-r--r--Build/source/texk/web2c/hitexdir/doc/Makefile16
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