]> git.tue.mpg.de Git - lopsub.git/commitdiff
debian: Add two missing files.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 23 Apr 2024 00:07:27 +0000 (02:07 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 10 May 2024 01:20:48 +0000 (03:20 +0200)
These were missed to add when Steve's patch against an older commit
was converted into an incremental patch on top of b4d4de17a5c8.
This bug is mine, not Steve's.

Fixes: b156a0cabd42582e9c430ae4a284f8815746914e
debian/liblopsub1t64.install [new file with mode: 0644]
debian/liblopsub1t64.lintian-overrides [new file with mode: 0644]

diff --git a/debian/liblopsub1t64.install b/debian/liblopsub1t64.install
new file mode 100644 (file)
index 0000000..6234859
--- /dev/null
@@ -0,0 +1,2 @@
+debian/tmp/usr/share/man/man7/*
+debian/tmp/usr/lib/*/liblopsub.so.*
diff --git a/debian/liblopsub1t64.lintian-overrides b/debian/liblopsub1t64.lintian-overrides
new file mode 100644 (file)
index 0000000..bac78b9
--- /dev/null
@@ -0,0 +1 @@
+liblopsub1t64: package-name-doesnt-match-sonames liblopsub1