diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 2 |
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; \ |