diff options
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/tex/Makefile')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/Makefile | 21 |
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 |