diff options
author | Étienne Mollier <emollier@debian.org> | 2022-11-05 20:23:56 +0100 |
---|---|---|
committer | Étienne Mollier <emollier@debian.org> | 2022-11-05 20:23:56 +0100 |
commit | 949ed98af88454bfac0922764b9988f2d4b0227d (patch) | |
tree | 12dffc13fd174fad583e435db3bea4058630d42d | |
parent | fe056d86cd55755fa4223ad7b3afa7ba7465b9ae (diff) |
d/s/lintian-overrides: override missing source on doc/manual.html.
-rw-r--r-- | debian/source/lintian-overrides | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..1564c02 --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,2 @@ +# This file is rebuilt during package construction; see d/rules. +bowtie2 source: source-is-missing [doc/manual.html] |