summaryrefslogtreecommitdiffstats
path: root/debian/source
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 17:56:52 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 17:56:52 +0000
commit087bd1b14d5e1f45f60b1ffa64ca318c23b7c6ea (patch)
treed4139abfdd8c50b4b0ac84d876808a2f525dc958 /debian/source
parentAdding upstream version 2.0.0+dfsg. (diff)
downloadsphinx-rtd-theme-debian.tar.xz
sphinx-rtd-theme-debian.zip
Adding debian version 2.0.0+dfsg-1.debian/2.0.0+dfsg-1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/source')
-rw-r--r--debian/source/format1
-rw-r--r--debian/source/lintian-overrides3
-rw-r--r--debian/source/options1
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