Moved Design tex files into designdoc