Fix for documentation pages.

Hock, Martinrequested to merge
dev into main

Adjust mv command to work for an already existing target folder.

Merge request reports