depends

are they trying to export a PDF from Microsoft Word? because Microsoft makes that difficult nowadays

Can’t you just print and choose “print to pdf” as your “printer”?
Yup, super difficult. Its not the default, so no one can find it.