Added Documentation Building to Jenkins#80

Draft

Valenzione wants to merge 4 commits into

fix/doc_requirements

Commits on Sep 17, 2020

Commits on Sep 18, 2020

add docs publishing to release step
Valenzione
committed