diff options
author | Axel Beckert <abe@deuxchevaux.org> | 2020-02-16 19:11:39 +0100 |
---|---|---|
committer | Axel Beckert <abe@deuxchevaux.org> | 2020-02-16 19:11:39 +0100 |
commit | 2c079e6a92c8c89bb9f31e2121170d7fd205692f (patch) | |
tree | cb92f3b15b449f263bf2f81d253d05e55759c59f /debian/source/options | |
parent | cd532ebb2cd60d4e0e3f6b16f63ddf6fd2bcce67 (diff) | |
download | zsh-2c079e6a92c8c89bb9f31e2121170d7fd205692f.tar.gz zsh-2c079e6a92c8c89bb9f31e2121170d7fd205692f.zip |
Get debian/source/options's extend-diff-ignore back in sync with debian/clean to avoid unnecessary warnings
Diffstat (limited to 'debian/source/options')
-rw-r--r-- | debian/source/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options index 1f261b74c..66cd46289 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1 +1 @@ -extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in|stamp-h\.in|config\.log|Doc/(version.yo|zsh.*\.1|zsh.texi|Zsh/(man)?mod(list|menu)\.yo)|META-FAQ)$' +extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in|stamp-h\.in|config\.log|Doc/(help\.txt|help/.*|version.yo|zsh.*\.1|zsh.texi|Zsh/(man)?mod(list|menu)\.yo)|META-FAQ|Etc/FAQ)$' |