[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [groff] 02/05: nroff.1.man: Make editorial fixes.
From: |
Ralph Corderoy |
Subject: |
Re: [groff] 02/05: nroff.1.man: Make editorial fixes. |
Date: |
Sat, 29 Jun 2019 18:24:03 +0100 |
Hi Ingo,
> Besides, while i do see some scattered uses of the term "hard tab" for
> the character U+0009 on the web, i consider it jargon at best,
> imprecise and obscure at worst
...
> grotty(1) should probably say something like:
>
> -h Use ASCII horizontal tab characters ("hard tabs")
> in the output instead of strings of multiple spaces.
> Tab stop positions are assumed to be set every 8 columns.
The -h stands for horizontal tab in contrast to, say, a vertical tab.
I don't think ‘hard’ had anything to do with it.
--
Cheers, Ralph.