Added docker image CI/CD build

.gitlab-ci.yml

+# This is a GitLab CI configuration to build the project as a docker image
+# The file is generic enough to be dropped in a project containing a working Dockerfile
+# Author: Florent CHAUVEAU <florent.chauveau@gmail.com>
+# Mentioned here: https://blog.callr.tech/building-docker-images-with-gitlab-ci-best-practices/
+
+# do not use "latest" here, if you want this to work in the future
+image: docker:19.03.0-dind
+
+stages:
+  - build
+
+# Use this if your GitLab runner does not use socket binding
+services:
+  - docker:19.03.0-dind
+
+variables:
+  DOCKER_HOST: tcp://localhost:2375
+  DOCKER_TLS_CERTDIR: ""
+
+.docker-script-before: &docker-script-before
+  # docker login asks for the password to be passed through stdin for security
+  # we use $CI_JOB_TOKEN here which is a special token provided by GitLab
+  - echo -n $CI_JOB_TOKEN | docker login -u gitlab-ci-token --password-stdin $CI_REGISTRY
+
+Build docker image:
+  before_script:
+    - *docker-script-before
+  stage: build
+  tags:
+    - k8s-runner
+  except:
+    - tags
+  script:
+    # fetches the latest image (not failing if image is not found)
+    - docker pull $CI_REGISTRY_IMAGE:latest || true
+    # builds the project, passing proxy variables, and vcs vars for LABEL
+    # notice the cache-from, which is going to use the image we just pulled locally
+    # the built image is tagged locally with the commit SHA, and then pushed to
+    # the GitLab registry
+    - >
+      docker build
+      --pull
+      --build-arg http_proxy=$http_proxy
+      --build-arg https_proxy=$https_proxy
+      --build-arg no_proxy=$no_proxy
+      --build-arg VCS_REF=$CI_COMMIT_SHA
+      --build-arg VCS_URL=$CI_PROJECT_URL
+      --build-arg VCS_TAG=$CI_COMMIT_SHORT_SHA
+      --cache-from $CI_REGISTRY_IMAGE:latest
+      --tag $CI_REGISTRY_IMAGE:$CI_COMMIT_SHA
+      .
+    - docker push $CI_REGISTRY_IMAGE:latest

Dockerfile

@@ -4,7 +4,6 @@ LABEL maintainer="Bengt Giger <bgiger@ethz.ch>"
 COPY laweb /usr/local/bin/laweb
 COPY laweb.sty /usr/share/texlive/texmf-local/tex/latex/laweb.sty
 COPY laweb.cfg /usr/share/texlive/texmf-local/tex/latex/laweb.cfg
-COPY laweb-wrapper.sh /usr/local/bin/laweb-wrapper.sh
 RUN dnf install -y texlive-tikz-dependency texlive-tex4ht texlive-scheme-full texlive-ifluatex
 
 WORKDIR /home/workdir

laweb-wrapper.sh

-#!/usr/bin/env bash
-
-if [ "$(pwd)" != "/home/workdir" ]; then
-    cd /home/workdir
-fi
-
-/usr/local/bin/laweb $1