Deprecated public header files are not removed from binary include directory

[schuhschuh]

After a module was enabled, it's public header files are copied to the binary include directory. Then, when the module is disabled again, these public header files are not removed and hence still available in the build tree, though they should no longer be there.
Reporter: Andreas Schuh
Assigned to: Andreas Schuh
Begin: 2012-01-06
Completed: 0