diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 1999-12-09 10:48:11 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-12-09 10:48:11 +0000 |
commit | fee2b1ab94879db991acb8468f1c157d174e29e9 (patch) | |
tree | 555c9412c2e57b1c54cd72a013c0dbc477373aa6 /Doc/Makefile.in | |
parent | 726e1f5545e35b2cc589d1e43202ae6c04fbffca (diff) | |
download | zsh-fee2b1ab94879db991acb8468f1c157d174e29e9.tar.gz zsh-fee2b1ab94879db991acb8468f1c157d174e29e9.tar.xz zsh-fee2b1ab94879db991acb8468f1c157d174e29e9.zip |
zsh-workers/8966
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r-- | Doc/Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 4843729e5..e252bb28a 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -214,6 +214,17 @@ uninstall.info: rm -f $(DESTDIR)$(infodir)/$(tzsh).info rm -f $(DESTDIR)$(infodir)/$(tzsh).info-[1-9]* +# install HTML manual +install.html: zsh_toc.html + $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) + for file in zsh_*.html; do \ + $(INSTALL_DATA) $$file $(DESTDIR)$(htmldir) || exit 1; \ + done + +# uninstall HTML manual +uninstall.html: + rm -f $(DESTDIR)$(htmldir)/zsh_*.html + # ========== DEPENDENCIES FOR CLEANUP ========== clean-here: |