diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 1883abfd1..1f8fa5ff9 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -139,9 +139,13 @@ install.info: zsh.info elif test -f $(sdir)/$$file; then \ $(INSTALL_DATA) $(sdir)/$$file $(infodir); \ else :; \ - fi || exit 1; \ + fi || exit 1; \ done +install.html: zsh_toc.html + $(sdir_top)/mkinstalldirs $(htmldir) + $(INSTALL_DATA) *.html $(htmldir) + # uninstall man pages uninstall.man: for file in $(MAN); do \ |