[Top][All Lists]

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

Re: A file suffix for troff's output.

From: DJ Chase
Subject: Re: A file suffix for troff's output.
Date: Mon, 10 Apr 2023 18:24:22 +0000

On Mon Apr 10, 2023 at 1:37 PM EDT, Ralph Corderoy wrote:
> 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 “div roff” or “dev roff” then?

> > 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.

Those not in the know would pronounce it as “ditroff”, just as one
assumes “troff” is pronounced “troff” until someone in the know tells

DJ Chase
They, Them, Theirs

reply via email to

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