the new @quotation command

Hi,

I don't really like the new @quotation command, because it mixes text 
outputted in every format except docbook and language feature in docbook. The
consequence is that it isn't obvious to use that feature in a non english 
text.

For example if I want a warning in french the code should lead to 

@quotation
@b{Attention@ :} attention @`a la marche
@end quotation

(Notice the `@ ', this is yet another issue.)

in most languages and

@quotation Warning
attention @`a la marche
@end quotation

in docbook.

I don't have a definite solution, but maybe using 2 arguments would be better, 
like

@quotation identifier, text

The first arg will be an `identifier', like tip, note, or any identifier 
invented by the user (without space nor special character or @-comand), 
then a comma, and next the text outputted in any case in all the formats 
except docbook, and outputted in docbook only if the identifier isn't special. 
The formatting of the leading text could then be left to the user and 
the identifier could be a class="" in html to ease the use of css.

The above example thus could be
@quotation warning, @b{Attention@ :}
attention @`a la marche
@end quotation

or 
@quotation , @error{} text introducing the quotation:
beware of that error
@end quotation

Thus this syntax leaves more space for the user's will but it has a drawback 
as the user have to specify more things. Thus to reproduce the current 
behaviour the user will have to type:

@quotation warning, @b{Warning:}
...
@quotation 

instead of 

@quotation warning
...
@quotation 

Pat
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest