While updating the debian package, I noticed that there is no /usr/include directory anymore. That's a bit strange because it means that we have a library on the disk, and no way to compile anything against it.
I wanted to check that it is the expected behavior. If so, please just close the issue ;)
While updating the debian package, I noticed that there is no /usr/include directory anymore. That's a bit strange because it means that we have a library on the disk, and no way to compile anything against it.
I wanted to check that it is the expected behavior. If so, please just close the issue ;)