
Today, for some reason, the generated files are no longer cleaned up or ignored during distcheck, so clean them up ourselves. Not sure what changed.
Today, for some reason, the generated files are no longer cleaned up or ignored during distcheck, so clean them up ourselves. Not sure what changed.