Meaning of "Prick punch"

A small hand punch used to make a very small indentation or prick in a piece of metal.

Prick punch Meaning of