Follow-up Comment #16, bug #66342 (group groff): [comment #13 comment #13:] > But it _says_, "Deri,".
Whoops!
> I'd still prefer that bit 3 of `--opt` flipped its sense.
Since --opt seems more for developer than user use (else it should be broken
down into individual flags, or take mnemonic strings rather than a bitfield),
this is probably best left as a separate discussion. The -e/-E one seems
contentious enough on its own.
Putting the refined proposal in my own words to make sure I understand:
* embedding all fonts would be the default behavior;
* the -e flag would continue to work as before (but be unnecessary if one is
using defaults);
* a new -E flag would tell gropdf not to embed the 14 base fonts; and
* if both -e and -E are given, the last one to appear takes effect.
If I've gotten it all correct, it looks reasonable to me. Kicking back to
Deri for feedback, as requested.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?66342>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
