Delete out-of-date files in man/