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 /shell/ev-media-player-keys.c | |
| 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 'shell/ev-media-player-keys.c')
0 files changed, 0 insertions, 0 deletions