summary refs log tree commit diff
path: root/Doc/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r--Doc/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index 6d07a0a68..b8e198bd2 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -271,7 +271,7 @@ install.info: texi
 	); then \
 	    if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
 	      install-info --dir-file=$(DESTDIR)$(infodir)/dir \
-	        $(infodir)/$(tzsh).info; \
+	        $(DESTDIR)$(infodir)/$(tzsh).info; \
 	    else true; fi; \
 	    rm -rf infodir; \
 	    exit 0; \