diff options
Diffstat (limited to 'Build/source/texk/web2c/doc/Makefile.in')
-rw-r--r-- | Build/source/texk/web2c/doc/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/doc/Makefile.in b/Build/source/texk/web2c/doc/Makefile.in index 7c20d08d7f9..860d44b01c4 100644 --- a/Build/source/texk/web2c/doc/Makefile.in +++ b/Build/source/texk/web2c/doc/Makefile.in @@ -50,8 +50,9 @@ install: install-exec install-data install-exec: install-data: web2c.info $(SHELL) $(top_srcdir)/../mkinstalldirs $(infodir) - test -r ./web2c.info || cd $(srcdir) && for i in web2c.i*; do \ - $(INSTALL_DATA) $$i $(infodir)/$$i; done + test -r ./web2c.info \ + || $(INSTALL_DATA) $(srcdir)/web2c.i* $(infodir)/ +# $(POST_INSTALL) if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ install-info --info-dir=$(infodir) $(infodir)/web2c.info; \ |