summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/doc
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/doc')
-rw-r--r--Build/source/texk/web2c/doc/Makefile.in5
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; \