diff options
Diffstat (limited to 'testing/zathura/without-synctex.patch')
-rw-r--r-- | testing/zathura/without-synctex.patch | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/testing/zathura/without-synctex.patch b/testing/zathura/without-synctex.patch deleted file mode 100644 index b12ca3117e..0000000000 --- a/testing/zathura/without-synctex.patch +++ /dev/null @@ -1,53 +0,0 @@ -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 - |