summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAxel Beckert <abe@deuxchevaux.org>2012-01-22 19:49:09 +0100
committerAxel Beckert <abe@deuxchevaux.org>2012-01-22 19:49:09 +0100
commitf6f9a83ef1851e7eb9e049534e0dac8d7bcaa2bc (patch)
tree4e09cc1c721ef9b13948072454f5c6a12a7b452f
parent24d10908f88c1cdf61afbd2c0ca094cad2507747 (diff)
downloadzsh-f6f9a83ef1851e7eb9e049534e0dac8d7bcaa2bc.tar.gz
zsh-f6f9a83ef1851e7eb9e049534e0dac8d7bcaa2bc.zip
Add some more (re)generated files to extend-diff-ignore in debian/source/options
-rw-r--r--debian/source/options2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options
index e62b4b061..993141a7d 100644
--- a/debian/source/options
+++ b/debian/source/options
@@ -1 +1 @@
-extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in)$'
+extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in|config\.log|Doc/(version.yo|zsh.*\.1|zsh.texi|Zsh/(man)?mod(list|menu)\.yo)|META-FAQ)$'