diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/source/format | 1 | ||||
| -rw-r--r-- | debian/source/lintian-overrides | 3 | ||||
| -rw-r--r-- | debian/source/options | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..0b5357e --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,3 @@ +# webpack.prod.js matches Lintian's JS_EXT regex, but it is not a minified file. +sphinx-rtd-theme source: source-is-missing [webpack.prod.js] +sphinx-rtd-theme source: source-contains-prebuilt-javascript-object [webpack.prod.js] diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..4d82e22 --- /dev/null +++ b/debian/source/options @@ -0,0 +1 @@ +extend-diff-ignore="\.egg-info"
\ No newline at end of file |