Use Arduino pro micro to program pro mini?
I don't know if it will still work but I will suggest you this.
As arduino micro is Leonardo compatible and you r two arduino minis are based on atmega328. You should be able to use the tutorial posted above to use micro as programmer for the two mini.
Hope that helped.