Man pages matching name xmprinttofile in section 3:

XmPrintToFile.3.en	debian 10 / libmotif-dev
XmPrintToFile.3.en	debian 11 / libmotif-dev
XmPrintToFile.3.en	debian 12 / libmotif-dev