we should really run make in doc before we touch build