#1055420 libxi: Separate out documentation build

Package:
src:libxi
Source:
src:libxi
Submitter:
Samuel Thibault
Date:
2023-11-05 17:27:04 UTC
Severity:
normal
Tags:
#1055420#5
Date:
2023-11-05 17:22:24 UTC
From:
To:
Hello,

libxi currently build-depends on w3m, which makes it part of a long
build dependency through imlib and whatnot image libraries. The w3m
dependency is actually only for building documentation. The attached
patch adds a nodoc build profile. This makes bootstraping a new Debian
port much easier.

Note that

chmod +x debian/libxi-dev.install

needs to be done to complete the patch.

Also, the patch is not working yet because the package has not been
converted to the quilt source format yet, and thus the +x is lost in the
.diff.gz format, but I guess there is no reason left for keeping using
the native source format?

Samuel