diff options
author | Oz Tiram <[email protected]> | 2020-02-07 21:57:10 +0100 |
---|---|---|
committer | Robert Antoni Buj Gelonch <[email protected]> | 2020-06-18 10:48:28 +0200 |
commit | d1f4707aad8a1ecad412295d2ccd3f7aa87b95b0 (patch) | |
tree | 7c842894f3ae039e69f48d6f7c9ad02282908330 /.gitmodules | |
parent | eb8a049f0c2d19551397c9701b7c00921c4917c2 (diff) | |
download | atril-d1f4707aad8a1ecad412295d2ccd3f7aa87b95b0.tar.bz2 atril-d1f4707aad8a1ecad412295d2ccd3f7aa87b95b0.tar.xz |
Make synctex optional
Not everyone who reads PDF's is necessarily a LaTeX user.
These changes allow users to install atril without the huge bagage
of tex-live on systems where synctex isn't provided as a stand alone
library.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions