[Ada] gnat_rmtexi: Use @./@: where appropriate.

[Geert Bosch]

On Fri, 26 Oct 2001, Joseph S. Myers wrote:

  > The patch below adds @. and @: where appropriate.  These Texinfo
  > commands control whether additional space is added after a dot
  > (marking the end of a sentence).  All potential abbreviations
  > consisting of one to three letters have been checked (and '@:' has
  > been added if necessary), and all capital letters followed by a dot
  > have been checked ('.' has been replaced by '@.' where needed).
  
  If my preapproval for manual formatting and Texinfo style patches is
  transitive, this is OK.  However, when making such changes to the main
  manual I was told that style guides say that "e.g." and "i.e." should
  always be followed by a comma, so you might want to make the various
  manuals follow that consistently, replacing most existing @: uses, rather
  than adding @:.
  
  A closely related issue is that, for the Info output, all full stops
  ending sentences should be followed in Texinfo input by two spaces or by
  end of line.

I'll install the patch as soon as I can again connect to the CVS
server, I'm now getting connection refused. 

  -Geert