[Qgis-user] Converting gif/jpeg images to shape files

[Mick]

I have a collection of .gif and .jpg images of early maps I wish to
convert into ESRI shape files for integration into a set of layers of
17th to 19th century Devon.

I did stumble on to what appeared to be the tool to do it but I can't
find it again and can't think of the correct terminology for the
process so I could google with some chance of success.

Can some kind soul please point me in the right direction.

mick