[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A file suffix for troff's output.
From: |
Ralph Corderoy |
Subject: |
Re: A file suffix for troff's output. |
Date: |
Mon, 10 Apr 2023 18:37:52 +0100 |
Hi DJ,
> Since ditroff stands for “Device Independent troff”
It does. It means the troff which doesn't have a device hard-coded
within it but can instead take -Tps, -Tutf8, etc.
The output of the device-independent troff is specific to the chosen -T
device. Continuing to include the ‘independent’ as part of the name for
the output seems wrong. It's the output of a DI troff but is not itself
DI.
> what about something like ‘dee-vie-roff’ or ‘di-vie-roff’ depending on
> how you pronounce “device”?
Those not in the know won't see a ‘v’ when looking at ‘ditroff’ so ‘vie’
won't feature in its pronunciation.
--
Cheers, Ralph.
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, (continued)
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, G. Branden Robinson, 2023/04/06
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, Damian McGuckin, 2023/04/06
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, John Gardner, 2023/04/08
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, Ralph Corderoy, 2023/04/08
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, John Gardner, 2023/04/08
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, G. Branden Robinson, 2023/04/09
- A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), DJ Chase, 2023/04/10
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output., DJ Chase, 2023/04/10
- Re: A file suffix for troff's output.,
Ralph Corderoy <=
- Re: A file suffix for troff's output., DJ Chase, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Lennart Jablonka, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Steve Izma, 2023/04/10
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output., Steve Izma, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Alejandro Colomar, 2023/04/10
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output., Alejandro Colomar, 2023/04/10
- Re: A file suffix for troff's output., Alejandro Colomar, 2023/04/21