The source project of this merge request has been removed.
Delete make-zeroc-ice as there is no longer manual references on debian/control
As for version 3.7.0-5ubuntu0.2 and beyond there is no longer references for non-free manual package on debian control. so the helper is not needed.