Incorporate ReCode MakeDoc improvements.