Distributing headers in MIT Licensed code

Discussion in 'Licensing and activation' started by Ryan Butler, Jul 27, 2020.

  1. Hello, I'm working on writing MuJoCo bindings for Rust. I'm unfamiliar with copyright law or mujoco's copyright. Is it acceptable to distribute the header files I downloaded from the mujoco website in permissively licensed source code? Specifically the MIT license. This is done in order to auto-generate the Rust code from the C definitions.

    If acceptable, is there a link to some more formal statement of such permissions?