[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 13:42:38 +0100 |
Hi DJ,
> > troff lays out its input.
> > The input has been placed on the page.
> > It is typeset.
> > It is set.
> >
> > troff chapter.tr >chapter.set
>
> $ file chapter.set
> chapter.set: ditroff output text for PostScript, ASCII text
>
> Wouldn’t “.ditroff” be more appropriate?
The question was what else to use other than .dit or .ditroff given
Kernighan has ‘never been fond if it’.
I don't like ditroff either. It's too long as a suffix. Given troff is
tee-roff is it die-tee-roff, unfortunate, or dee-eye-tee-roff? Both are
long to say.
$ file chapter.set
chapter.set: troff typeset output for PostScript, ASCII text
--
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 <=
- Re: A file suffix for troff's output., 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. (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