groff
[Top][All Lists]
Advanced

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



reply via email to

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