Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient
Sean Whitton <spwhitton@spwhitton.name> writes:
> Thank you for following up.
> Here is a minimal patch, for which I am seeking seconds. I didn't
> include a recommendation to use dh_strip because we generally keep such
> recommendations in footnotes rather than the text of Policy, and we are
> trying to reduce the number of footnotes -- but I don't mind adding it
> if others think it would be a good idea (and it wouldn't need
> seconding).
Looks good to me. Seconded.
On an entirely unrelated note (and probably a larger project than anyone
will be able to tackle any time soon), I think it would be very helpful if
we had some way of annotating what parts of Policy are just handled for
you if you use debhelper in the normal way (perhaps with references to the
tools involved). Maybe with background shading or an icon or something?
I think Policy needs to state all of the rules, including the ones
implemented by other tools, but at the same time nearly everyone doing
Debian packaging is using debhelper (either directly or indirectly), so
it's a bit of a disservice to people to ask them to wade through a bunch
of specifications for stuff that normally they don't and shouldn't think
about.
--
Russ Allbery (rra@debian.org) <http://www.eyrie.org/~eagle/>
Reply to: