[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12973: @: overused in manual
From: |
Eli Zaretskii |
Subject: |
bug#12973: @: overused in manual |
Date: |
Sat, 24 Nov 2012 17:45:14 +0200 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Paul Eggert <eggert@cs.ucla.edu>, 12973@debbugs.gnu.org
> Date: Sat, 24 Nov 2012 10:17:02 -0500
>
> > In any case, in my experience, this kind of changes is quickly made
> > futile by future changes to the manuals that re-introduce comma-less
> > e.g. and i.e. back into the text. So if we want to adhere to the
> > style that prefers the comma, we should IMO install some change that
> > enforces these rules, to be run at "make info" time and flag any
> > deviations.
>
> And I think we had better just ignore those differences and move on.
Ignore them and install the changes proposed by Paul, or ignore them
and don't install?
bug#12973: @: overused in manual, Glenn Morris, 2012/11/23
- bug#12973: @: overused in manual, Eli Zaretskii, 2012/11/24
- bug#12973: @: overused in manual, Richard Stallman, 2012/11/24
- bug#12973: @: overused in manual, Paul Eggert, 2012/11/24
- bug#12973: [TRUNCATED MESSAGE 2692 191817] bug#12973: @: overused in manual, Richard Stallman, 2012/11/24
- bug#12973: @: overused in manual, Glenn Morris, 2012/11/25
bug#12973: @: overused in manual, Glenn Morris, 2012/11/25
bug#12973: @: overused in manual, Glenn Morris, 2012/11/25