summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAxel Beckert <abe@deuxchevaux.org>2020-02-16 19:11:39 +0100
committerAxel Beckert <abe@deuxchevaux.org>2020-02-16 19:11:39 +0100
commit2c079e6a92c8c89bb9f31e2121170d7fd205692f (patch)
treecb92f3b15b449f263bf2f81d253d05e55759c59f
parentcd532ebb2cd60d4e0e3f6b16f63ddf6fd2bcce67 (diff)
downloadzsh-2c079e6a92c8c89bb9f31e2121170d7fd205692f.tar.gz
zsh-2c079e6a92c8c89bb9f31e2121170d7fd205692f.zip
Get debian/source/options's extend-diff-ignore back in sync with debian/clean to avoid unnecessary warnings
-rw-r--r--debian/source/options2
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)$'