Fixed a problem with EXTRA_DiST, Daniel.
4 files changed