Arthur D.:
> Thanks for great answer. You really helped a lot!
> 
>> Can you tell a bit about where you expected this to be documented?  I.e.
>> where would you have found it if it had been documented?
> 
> Personally I tried to find some info about the issue using these commands:
> man dh
> man debhelper
> 
> The search expression I used: /flags/, /FLAGS/.

Thanks, I will look at a place to fit that information into one of those
man pages.

> I also tried to search for /dh/ or /debhelper/ in manual page for
> dpkg-buildflags.
> 
> Thanks,
> Arthur D.

Yes, I suspect the dpkg maintainer would like to avoid having tool
specific instructions to a Debian specific tool.  Side note: there are
distributions using dpkg but not debhelper at all.

Thanks,
~Niels

Reply via email to