add some files to EXTRA_DIST in Makefile.am
This page took 0.010586 seconds and 3 git commands to generate.