summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/hitexdir/tex/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/tex/Makefile')
-rw-r--r--Build/source/texk/web2c/hitexdir/tex/Makefile21
1 files changed, 21 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/tex/Makefile b/Build/source/texk/web2c/hitexdir/tex/Makefile
new file mode 100644
index 00000000000..0834136eae0
--- /dev/null
+++ b/Build/source/texk/web2c/hitexdir/tex/Makefile
@@ -0,0 +1,21 @@
+# $Id$
+# Standalone Makefile for hitex/tex. 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 -pfv
+
+texmf_dist = ../../../../../../Master/texmf-dist
+hitex_doc_dir = $(texmf_dist)/tex/hitex/base
+#
+install:
+ for f in hilatex.ini hiltxpage.tex hiplainpage.tex \
+ hitex.ini ifhint.tex; do \
+ $(INSTALL_DATA) $$f $(hitex_doc_dir)/ || exit 1; done
+
+fmt: hitex.fmt
+hitex.fmt: hitex.ini
+ hitex -ini -etex -ltx $<
+
+clean:
+ rm -f *.fmt *.log *.aux *.hint *.hnt