A documentary on the making of the Gene Kelly/Judy Garland musical The Pirate (1948)