Pandoc latex
Create workaround for bug in GitLab CI when /bin/sh links to /bin/dash.
System Closure. Its likely this system will be closed down at the end of March at the latest. Contact Barry if you need to migrate anything to another system.
Create workaround for bug in GitLab CI when /bin/sh links to /bin/dash.