mirror of
https://github.com/zsh-users/zsh
synced 2024-09-29 20:54:53 +00:00
20017: zsh.html was missing from doc distributino
This commit is contained in:
parent
03d14ff12e
commit
4070b8ba9e
|
@ -1,5 +1,7 @@
|
|||
2004-06-03 Peter Stephenson <pws@csr.com>
|
||||
|
||||
* 20017: Doc/.distfiles: add zsh.html to doc distribution.
|
||||
|
||||
* users/7467: Completion/Base/Core/_dispatch: quoted commands
|
||||
weren't found in dispatcher lookup.
|
||||
|
||||
|
|
|
@ -13,6 +13,6 @@ DISTFILES_SRC='
|
|||
|
||||
DISTFILES_DOC='
|
||||
zsh.info zsh.info-[0-9]*
|
||||
zsh_*toc.html zsh_[0-9]*.html
|
||||
zsh.html zsh_*toc.html zsh_[0-9]*.html
|
||||
zsh.dvi zsh_us.ps zsh_a4.ps
|
||||
'
|
||||
|
|
Loading…
Reference in a new issue