Makefile: add Jenkinsfile to source package

This commit is contained in:
Christophe Siraut 2020-10-27 10:54:35 +01:00
parent c5ec1e07d1
commit 148a62f5ec
2 changed files with 2 additions and 0 deletions

View File

@ -5,6 +5,7 @@ all:
DIST_FILES = \
Makefile \
Jenkinsfile \
sysadmin-doc
clean:

1
debian/source/options vendored Normal file
View File

@ -0,0 +1 @@
extend-diff-ignore = "(^|/)(Makefile|Jenkinsfile)$"