On Thu, 2 Feb 2017, Palmer Dabbelt wrote: > Additionally, here's a diff against wwwdocs. This is really just to check > this > is all I'm supposed to do, I can submit a proper patch via the mailing list (I > just don't know how to use CVS, sorry).
Other parts of the wwwdocs changes (backends.html, readings.html) are probably of more interest. -- Joseph S. Myers jos...@codesourcery.com