tags 1045059 patch severity 1045059 normal thanks Hello. The attached trivial patch seems to be enough to fix this bug.
(Note that the package already has a debian/clean file and we are merely adding a single line). Thanks.
commit 2d3d6f1eab38a855ec209e5107dd74cd746fda3c Author: Santiago Vila <[email protected]> Date: Fri Dec 12 19:50:00 2025 +0100 Fix clean target. Closes: #1045059. diff --git a/debian/clean b/debian/clean index 63b5880d..1c5d21a5 100644 --- a/debian/clean +++ b/debian/clean @@ -1,2 +1,3 @@ +doc/build/ sobin soobj
