Keeps a versioned copy of each released PDF. Does nothing when no PDF was
produced, which is the usual case while a manual renders HTML only – copying
unconditionally silently succeeds with FALSE and leaves an empty archive.
Usage
archiveManualPDF(
pdf,
version,
prefix,
archiveDir = file.path("archive", "pdf")
)