Autotools: fix the dist target

This is a fixup for !55 (merged) making the Autotools dist target succeed again.

Merge request reports

Loading