Description
Despite the ability to create multiple pdf files (via latex) with the sphinx builder (see #245), the code for the sphinx backend only moves one pdf file to the target directory. The rest are created but never used.
Would it make more sense to move all the pdf files from the appropriate _build directory to the target directory? If we did so, would they show up in the "downloads" section of the webpage? If this sounds reasonable I could try to make a PR for it.