Fixes trying to copy the user manual pdf file when it is not present.
This is an alternative to pull request #3317 that instead automatically downloads the manual if not present (or at least try to do so). Since that pull request had already been merged, this pull request includes reverting the commits it contained.
I am not sure which approach is best, which is why I am proposing this as a pull request. With the changes here, if we want to bundle the user manual, we need to run manually
One issue with the automatic download is that it requires an internet access. Without one trying to do
The text was updated successfully, but these errors were encountered:
This reverts commit 5205e1a.