update specification files