The new distclean is no longer needed in clean_targets? I see maintainer-clean is there. On the other hand 'pure' is missing, but that was added by me a while ago to be easy to remember.

Otherwise, it can be committed.

—
Reply to this email directly or view it on GitHub.