Upload DOC does not work
See e.g. https://bsvgit.informatik.uni-leipzig.de/openwalnut/openwalnut/-/jobs/5215
$ cd tools/upload
$ pwd
/builds/openwalnut/openwalnut/tools/upload
$ ls
seafile.sh
$ chmod +x seafile.sh
$ ./seafile.sh
TAR DOC
tar: Removing leading `../../' from member names
tar: ../../doc/developer/html: Cannot stat: No such file or directory
tar: Exiting with failure status due to previous errors