mirror of
git://git.code.sf.net/p/zsh/code
synced 2025-10-23 04:30:24 +02:00
zsh-workers/8966
This commit is contained in:
parent
726e1f5545
commit
fee2b1ab94
3 changed files with 19 additions and 1 deletions
|
@ -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:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue