diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
| -rw-r--r-- | Build/source/texk/web2c/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index b8a5e9cb791..3ac474b9c7a 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -877,6 +877,7 @@ install-mpost-mems: mems $(memdir) install-data:: $(web2cdir) cd doc && $(MAKE) $(install_makeargs) install-data cd man && $(MAKE) $(install_makeargs) install-data + $(SHELL) $(top_srcdir)/../mkinstalldirs $(man1dir) $(man5dir) $(INSTALL_DATA) $(srcdir)/tiedir/tie.1 $(man1dir)/tie.$(manext) $(INSTALL_DATA) $(srcdir)/ctiedir/ctie.1 $(man1dir)/ctie.$(manext) $(INSTALL_DATA) $(srcdir)/synctexdir/man1/synctex.1 $(man1dir)/synctex.$(manext) |