[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

device-dependent warnings

From: Alejandro Colomar
Subject: device-dependent warnings
Date: Fri, 28 Apr 2023 15:56:13 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0

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.


GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]