diff options
| author | Tanaka Akira <akr@users.sourceforge.net> | 1999-12-08 22:59:55 +0000 |
|---|---|---|
| committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-12-08 22:59:55 +0000 |
| commit | 41faa347919ef08c8ae87f26b5fc18517b36b2c2 (patch) | |
| tree | 361a0978ead4b86fdcdae16330c198bcf93f3038 | |
| parent | 53da3cbe5d48a692e5a8a87c21eb4deaa4c6aecf (diff) | |
| download | zsh-41faa347919ef08c8ae87f26b5fc18517b36b2c2.tar.gz zsh-41faa347919ef08c8ae87f26b5fc18517b36b2c2.tar.xz zsh-41faa347919ef08c8ae87f26b5fc18517b36b2c2.zip | |
zsh-workers/8958
| -rw-r--r-- | Doc/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 2ebc052ee..4843729e5 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -199,6 +199,10 @@ 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 \ |