Correct mandoc config path in push statements