diff options
| author | rbuj <[email protected]> | 2019-08-22 10:28:28 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-08-29 12:00:35 +0200 |
| commit | f1c1bbd843ab9ec47aa56782901d749bf895068f (patch) | |
| tree | 409ecb698ff5ba045b2747ded2852d3089095ed5 /cut-n-paste/Makefile.am | |
| parent | 4bc59d4a716b3ab271bb15adf4b9b5dd6961a4a2 (diff) | |
| download | atril-f1c1bbd843ab9ec47aa56782901d749bf895068f.tar.bz2 atril-f1c1bbd843ab9ec47aa56782901d749bf895068f.tar.xz | |
build: Use synctex system library if available
based on https://gitlab.gnome.org/GNOME/evince/commit/9edaca5b7b35bbbeeecfaf8d9291a4c092d8be91
Diffstat (limited to 'cut-n-paste/Makefile.am')
| -rw-r--r-- | cut-n-paste/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cut-n-paste/Makefile.am b/cut-n-paste/Makefile.am index b765ee9a..bc7cd25b 100644 --- a/cut-n-paste/Makefile.am +++ b/cut-n-paste/Makefile.am @@ -1,3 +1,7 @@ -SUBDIRS = zoom-control toolbar-editor smclient synctex +SUBDIRS = zoom-control toolbar-editor smclient + +if USE_INTERNAL_SYNCTEX +SUBDIRS += synctex +endif -include $(top_srcdir)/git.mk |