Copy the interface definitions back into the spec document.