Script to turn a library build into a -dev package, by removing the binaries.
treefb6492bdc856cd528a0d1ab159bccc3691b8a569
-rwxr-xr-x 852 make-headers.py