diff 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)$' |