From 2c079e6a92c8c89bb9f31e2121170d7fd205692f Mon Sep 17 00:00:00 2001 From: Axel Beckert Date: Sun, 16 Feb 2020 19:11:39 +0100 Subject: Get debian/source/options's extend-diff-ignore back in sync with debian/clean to avoid unnecessary warnings --- debian/source/options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/source') 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)$' -- cgit v1.2.3