Get rid of now superfluous makedoc-*.g files