Any graphics file or document can be printed as PDF document and even old IFF graphics files from Amiga are no exception in this. You just need to open these files in any graphics editor that supports them and use either dedicated 'Export to PDF' function or simply print it using a virtual PDF printer.
Updated: July 19, 2023