erlduce-dist can now dist individual files