diff options
| -rw-r--r-- | debian/clean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean index 6cd055d79..cd45ec717 100644 --- a/debian/clean +++ b/debian/clean @@ -2,6 +2,8 @@ config.cache config.status config.status.lineno configure +Doc/help.txt +Doc/help/* Doc/zsh.idx Doc/Zsh/manmodmenu.yo Doc/Zsh/modlist.yo |