Robin williams

Does anybody know whether robin williams was in this or not? I tried searching everywhere through the documentary and so far no luck. If anybody did find it, what exactly did robin williams do or say? I saw steve martin so maybe imdb got it wrong or must of mixed them up.