fetch_gitlab: Ensure we copy users_guide.pdf and Haddock.pdf to the release docs directory

Merge request reports

Loading