diff options
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/Makefile')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/Makefile b/Build/source/texk/web2c/hitexdir/doc/Makefile index c069723a2c5..fd958158788 100644 --- a/Build/source/texk/web2c/hitexdir/doc/Makefile +++ b/Build/source/texk/web2c/hitexdir/doc/Makefile @@ -11,6 +11,7 @@ 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 \ + for f in hiformat.hnt hiformat.pdf hintmac.tex \ hitexman.hnt hitexman.pdf hitexman.tex; do \ $(INSTALL_DATA) $$f $(hitex_doc_dir)/ || exit 1; done + cd $(hitex_doc_dir) && /bin/pwd && svn status |