Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Re: groff_diff.man: Some ortho- and typographic changes in the groff_diff(7) manual
2 views
Skip to first unread message
Werner LEMBERG
Dec 18, 2012, 3:16:51 AM12/18/12
to bjar...@rhi.hi.is, bug-...@gnu.org
> Some typographical changes:
Applied, thanks.
> 1-9 -> 1\-9 as a substitute for the word "to"
I've changed this to 1\[en]9 since ranges should be generally
specified with the en-dash.
Werner
Applied, thanks.
> 1-9 -> 1\-9 as a substitute for the word "to"
I've changed this to 1\[en]9 since ranges should be generally
specified with the en-dash.
Werner
0 new messages