documentation files weren’t pushed to git on previous commit