[bug #66811] change default device from ps to pdf

2025-02-26 Thread Dave
Follow-up Comment #3, bug #66811 (group groff): [comment #2 comment #2:] > This is pretty much what the `GROFF_TYPESETTER` environment > variable is for, I think. Ah, you're right, I'd forgotten that existed. But I also misspoke when I said "alternately." There is really one change groff should

[bug #66811] change default device from ps to pdf

2025-02-24 Thread G. Branden Robinson
Follow-up Comment #2, bug #66811 (group groff): [comment #1 comment #1:] > Alternately, the manual says the default device can be "changed at groff's > build-time configuration"; groff could be modified to instead read the > default at run time from a system configuration file (which distros or >

[bug #66811] change default device from ps to pdf

2025-02-23 Thread Dave
Follow-up Comment #1, bug #66811 (group groff): Alternately, the manual says the default device can be "changed at groff's build-time configuration"; groff could be modified to instead read the default at run time from a system configuration file (which distros or sysadmins could set) or possibly

[bug #66811] change default device from ps to pdf

2025-02-17 Thread Dave
URL: Summary: change default device from ps to pdf Group: GNU roff Submitter: barx Submitted: Tue 18 Feb 2025 12:18:01 AM CST Category: Core Severity: 1 - Wish