pipeline {
    agent {label 'msspec_agent_amd64'}
    stages {
        stage('Building the code...') {
            steps {
		sh 'make devel PYTHON=python3'
            }
        }
        stage('Building HTML documentation...') {
            steps {
                sh '/bin/bash -c "source _venv/bin/activate && pip install sphinx lxml"'
                sh '/bin/bash -c "source _venv/bin/activate && cd doc && make html"'
            }
        }
        stage('Syncing website...') {
            steps {
		sh 'whoami'
		sh 'rm -rf $HOME/www/*'
                sh 'cp -a ./doc/build/html/* $HOME/www/'
            }
        }

    }
}