Commit 2191ccdf7bddadcaa45aa6fd6afa624233c4ea97

Nick Wellnhofer 2024-08-18T12:16:34

autotools: Fix EXTRA_DIST Fixes #786.