punctuation before @:

[Patrice Dumas]

Hello,

In the manual there is

 @: has no effect on the Info and HTML output. In Docbook and XML, the
 previous punctuation character (.?!:) is output as an entity instead of 
 as the normal character: `. ? ! :'. This gives 
 further processors a chance to notice and not add the usual extra space.

This is untrue, and, furthermore I think that this may not be a good idea 
to do that because:

* in DocBook, we do not use entities because they are not necessary part
  of the default DocBook dtd.  Therefore all the entities become
  numerical entites, it would be quite strange to have . ?
  ! :.  It could be a good idea to use another construct but
  entities do not seem right.

* In XML I think that it is not a good idea to modify the text by using
  entities that do not correspond with Texinfo @-commands.
  this.  It could be possible to directly use 
    <punct end-of-sentence="no">?</punct>
  However, I feel that the XML parsers should be able to check that
  there is a following <noeos/>.

Should I try to do something special?

-- 
Pat