Add CI file

.gitlab-ci.yml

+image: dockershelf/latex:full
+
+before_script:
+    - apt-get install -qy python3-pygments
+
+build:
+    script:
+    - cd spec
+    - pdflatex  -shell-escape -recorder  "doc.tex"
+    - bibtex  "doc"
+    - pdflatex  -shell-escape -recorder  "doc.tex"
+    - bibtex  "doc"
+    - pdflatex  -shell-escape -recorder  "doc.tex"
+    - cd ..
+    - cp spec/doc.pdf specification.pdf
+    artifacts:
+        paths:
+        - specification.pdf
+

README.md

@@ -18,3 +18,6 @@ Syntax highlighting uses the `pygments` tool.  Hence, this tool must
 be installed.  Furthermore, Latex must be compiled with shell escaping
 allowed.  To do this the argument `-shell-escape` must be given to the
 Latex command. `latexmk` also accepts this argument and hands it to Latex.
+
+The continuous integration pipeline also builds the document. Hence,
+the pdf is available in the artifact browser of the CI pipelines.

spec/doc.tex

@@ -11,7 +11,7 @@
 \usepackage{hyperref}
 \usepackage{breakurl}
 \usepackage{underscore}
-\usepackage{siunitx}
+%\usepackage{siunitx}
 \usepackage{ccicons}
 
 \usepackage{tabularx}