removed svn_dist_version from BUILT_SOURCES as EXTRA_DIST seems to be sufficient
Authored by: mhoenicka 2014-09-01
Parent: [r796]
Child: [r798]