Mark Mitchell <mark@codesourcery.com> writes: > So, my question is this: is the permission above sufficient for what > people want to do at this point? This permission exactly covers what libiberty does for its documentation, you can use that as an example to RMS.