Migrated documentation build script to GitHub actions#6

tholzheim wants to merge 3 commits intoeclipse-xfsc:maineclipse-xfsc/docs:mainfrom

tholzheim:maintholzheim/docs:mainCopy head branch name to clipboard