[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Fri, 28 Apr 2023 15:56:13 +0200
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0
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.
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
Description: OpenPGP digital signature
|[Prev in Thread]
||[Next in Thread]|
- device-dependent warnings,
Alejandro Colomar <=