Squashed commit of jenkins changes

resources/scripts/Jenkinsfile

@@ -0,0 +1,28 @@
+pipeline {
+	agent none
+	environment {
+		NC_CRED	= credentials("nc-jenkins-cred")
+		NO_TEST = true
+	}
+	stages {
+		stage("Build") {
+			agent {
+				docker {
+					image "git.betalupi.com/mark/latex:latest"
+				}
+			}
+			steps {
+				// Keep these in one "sh" directive.
+				// Todo: create setup files so we don't
+				// have to pip install manually here.
+				// Maybe integrate python packages into the docker container?
+				sh '''
+					python -m venv venv
+					source venv/bin/activate
+					pip install tomli webdavclient3
+					python resources/scripts/build.py
+				'''
+			}
+		}
+	}
+}