Discrete optimal control problems with varying endpoints are considered. First and second order necessary optimality conditions are obtained without normality assumptions.