[Pkg-octave-commit] [octave] 04/04: d/s/options: Update list of diff ignores

[Rafael Laboissiere]

This is an automated email from the git hooks/post-receive script.

rafael pushed a commit to branch master
in repository octave.

commit 7d1dd4a68675beaa87769711535001987fee7489
Author: Rafael Laboissiere <rafael at debian.org>
Date:   Sun Oct 16 10:24:14 2016 -0200

    d/s/options: Update list of diff ignores
    
    Gbp-Dch: Ignore
---
 debian/source/options | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/source/options b/debian/source/options
index ac14dde..5f6a41e 100644
--- a/debian/source/options
+++ b/debian/source/options
@@ -1 +1 @@
-extend-diff-ignore=.*\.pdf|.*\.dvi|.*\.png|.*\.eps|.*\.ps|.*\.texi|.*\.info.*|stamp-vti|libinterp/parse-tree/oct-gperf\.h|AUTHORS|doc/interpreter/doc-cache
+extend-diff-ignore=.*\.pdf|.*\.dvi|.*\.png|.*\.eps|.*\.ps|.*\.texi|.*\.info.*|stamp-vti|libinterp/parse-tree/oct-gperf\.h|AUTHORS|doc/interpreter/doc-cache|oct-tex-lexer.cc

-- 
Alioth's /home/groups/pkg-octave/bin/git-commit-notice on /srv/git.debian.org/git/pkg-octave/octave.git