* tools/Makefile.am (EXTRA_DIST): Merge the two EXTRA_DIST declarations together so they both happen. svn path=/trunk/; revision=13791
* tools/Makefile.am (EXTRA_DIST): Merge the two EXTRA_DIST declarations together so they both happen. svn path=/trunk/; revision=13791