There were purpose built 5.25" diskette punches. I still have one. For those who don't know how such a contraption looks, Wikipedia has at least an image [1], but no article in English unfortunately.

[1] https://commons.wikimedia.org/wiki/Diskette#/media/File:Disk...