Write documentation to a webserver
Unfortunately readthedocs is pretty unreliable. As a bonus, we build the docs here and upload them to http://exflqr30526.desy.de:8000/toolbox/. There is a separate folder for each branch.
Unfortunately readthedocs is pretty unreliable. As a bonus, we build the docs here and upload them to http://exflqr30526.desy.de:8000/toolbox/. There is a separate folder for each branch.