Skip to content

gitlab-ci: Install libsynctex in Docker image

Germán Poo-Caamaño requested to merge wip/gpoo/gitlab-ci into master

It will help choose whether to use the internal synctex library or the one in the system. Currently, it is chosen automatically.

Merge request reports