anyone mind if i push documentation updates to the newlib website ?
seems the manuals and such haven't been updated in years.

i was also thinking of including pdf versions of the manuals.  any
reason not to ?
-mike