diff options
Diffstat (limited to 'cut-n-paste')
| -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 |