seems like "pure" is the rule that actually cleans the sources. We should make distclean like pure

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