CI: Fix uploading of documentation to the right directory.
The eos-deploy
script keeps uploading do branch/html
, where html
is the name of the directory containing the locally built documentation. This is due to how xrdcp behaves.
This fixes it by first changing directory to doc/html
and then uploading the local contents.
Edited by Karol Krizka