Re: [PATCH 5/6] Andes nds32: documentation for nds32 target.

[Joseph S. Myers]

Don't you have built-in functions to document as well?

Use "@:" (or a comma) after "i.e." in Texinfo sources.  The range "16-47" 
should use an en dash (so "16--47").

-- 
Joseph S. Myers
jos...@codesourcery.com