1 files changed, 53 insertions, 0 deletions
diff --git a/unmaintained/zathura/without-synctex.patch b/unmaintained/zathura/without-synctex.patch
new file mode 100644
index 0000000000..b12ca3117e
--- /dev/null
+++ b/unmaintained/zathura/without-synctex.patch
@@ -0,0 +1,53 @@
+From 5b3c183a9f8edf778f405f5da9b1ef8384775852 Mon Sep 17 00:00:00 2001
+From: Jan Palus <jan.palus@gmail.com>
+Date: Mon, 28 Dec 2015 22:19:07 +0100
+Subject: [PATCH] fix build without synctex
+
+---
+ zathura/main.c | 19 ++++++++++++-------
+ 1 file changed, 12 insertions(+), 7 deletions(-)
+
+diff --git a/zathura/main.c b/zathura/main.c
+index 060382a..3278dbe 100644
+--- zathura/main.c
++++ zathura/main.c
+@@ -84,12 +84,14 @@ run_synctex_forward(const char* synctex_fwd, const char* filename,
+ 
+ static zathura_t*
+ init_zathura(const char* config_dir, const char* data_dir,
+-    const char* cache_dir, const char* plugin_path, char** argv,
++    const char* cache_dir, const char* plugin_path, char** argv
++#ifdef WITH_SYNCTEX
++    , char* synctex_editor
++#endif
+ #ifdef GDK_WINDOWING_X11
+-    char* synctex_editor, Window embed)
+-#else
+-    char* synctex_editor)
++    , Window embed
+ #endif
++    )
+ {
+   /* create zathura session */
+   zathura_t* zathura = zathura_create();
+@@ -250,11 +252,14 @@ main(int argc, char* argv[])
+ 
+   /* Create zathura session */
+   zathura_t* zathura = init_zathura(config_dir, data_dir, cache_dir,
++      plugin_path, argv
++#ifdef WITH_SYNCTEX
++      , synctex_editor
++#endif
+ #ifdef GDK_WINDOWING_X11
+-      plugin_path, argv, synctex_editor, embed);
+-#else
+-      plugin_path, argv, synctex_editor);
++      , embed
+ #endif
++      );
+   if (zathura == NULL) {
+     girara_error("Could not initialize zathura.");
+     return -1;
+--
+libgit2 0.23.3
+