Add docs html to CI pipeline (#280) · Issues · KIT / virtmat-tools / VRE Language