I've had occasion to use some of the samtools misc utilities in galaxy tools.
Should those also be copied to the $INSTALL_DIR/bin when package_samtools is installed?

Thanks,

JJ

--
James E. Johnson, Minnesota Supercomputing Institute, University of Minnesota