Commit f8b7bd6d authored by Chun-wei Fan's avatar Chun-wei Fan

Fix 'make dist' again

The autotools pattern rules can be off-putting...
parent 72b047b0
Pipeline #242021 passed with stages
in 60 minutes and 42 seconds