new specification document generated