device-dependent warnings

[Alejandro Colomar]

Hi Branden,

Considering a build system that builds man pages into several formats,
including utf8, PostScript, HTML, and PDF, it is interesting to be able
to see all available warnings, and see them only once.

For that, one could enable -ww in the main target, and then only enable
device-dependent warnings for the other targets.

Would you create a category -wdev that only enables warnings that would
be different for different devices?  Or maybe -wpdf and similar ones.

I expect issues about fonts, for example, will not be reported in -Tutf8
but will be in -Tpdf.

Cheers,
Alex

-- 
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5

OpenPGP_signature
Description: OpenPGP digital signature