From 491262c9e7fc56b5c7c1a2805770ea0c4d9c90c2 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Mon, 24 Nov 2014 14:05:07 +0000 Subject: [PATCH] Linearization / windows --- cpdf.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpdf.ml b/cpdf.ml index 6d5ab0d..f1187d3 100755 --- a/cpdf.ml +++ b/cpdf.ml @@ -22,10 +22,10 @@ let call_cpdflin cpdflin temp output best_password = cpdflin ^ " --linearize " ^ " --password=" ^ best_password ^ " " ^ Filename.quote temp ^ " " ^ Filename.quote output in - match Sys.os_type with "Win32" -> (* On windows, don't use LD_LIBRARY_PATH - it will happen automatically *) + print_endline command; Sys.command command | _ -> (* On other platforms, if -cpdflin was provided, or cpdflin was in the