Merge "Remove old documentation from build"