The question may be trivial but Google did not really help.
The user uploads a file in the .txt format, and should produce in pdf format, with the download everything is clear, and with the processing in pdf format I will also figure it out.
Just explain how to create one when the file is processed in pdf format, which would automatically give you the opportunity to download this file for the user.