Commit 93c935d5 by Tjerk Vreeken

Fix documentation paths in gitlab ci

parent d12a2b2c
Pipeline #9839418 passed with stages
in 51 seconds