Re: Translating trace messages

[Akim Demaille]

| > Actually, it was on purpose that they were not marked as to be
| > translated: they are not meant for the users, so I don't think the
| > translators should have to translate them.
| 
| Sorry, I didn't know that --trace was permanently not meant for users.
| (I thought that you hadn't gotten around to documenting it.   :-)

Would you document such a thing?  I used this to understand some bits
of Bison, and I believe it does help developpers, but not users.  If
there are features in there that can be useful to users, then they
should migrate into --report.


| If you like, I can install a patch to undo those changes.

I can do that, I should have specified this in the first place.


| > Should I have stated this somewhere to make the intention explicit?
| 
| Perhaps we should have a new macro that means "This string is not
| translated and this was intended?"  Naah, probably overkill.

I can write this down in HACKING.  I will.