diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index e252bb28a..f3122437a 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -199,10 +199,6 @@ install.info: zsh.texi exit 1; \ fi -install.html: zsh_toc.html - $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) - $(INSTALL_DATA) *.html $(DESTDIR)$(htmldir) - # uninstall man pages uninstall.man: for file in $(MAN); do \ |