pipeline {
	agent none
	stages {
		stage("Setup") {
			agent any
			steps {
				sh 'pip install sphinx'
				sh 'mkdir -p docs/_build'
			}
		}
		stage("Build") {
			agent any
			steps {
				sh 'make -C docs html'
			}
		}
		stage("Deploy") {
			agent any
			steps {
				sh '/bin/rm -rf /var/www/html/docs/solidLib/* || echo ""'
				sh 'rsync -a ./docs/_build/html/* /var/www/html/docs/solidLib/'
			}
		}
	}
}