Added check for installation of overlay files.
Fixed inappropriate removal of auxiliary files during build
Added missing installib script required by makeall
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.