mirror of
https://github.com/johnwhitington/cpdf-source.git
synced 2025-02-17 12:20:43 +01:00
Fixed cpdflin path lookup
This commit is contained in:
parent
e2770ee225
commit
60b7b6debd
5
cpdf.ml
5
cpdf.ml
@ -23,10 +23,7 @@ let find_cpdflin provided =
|
|||||||
match provided with
|
match provided with
|
||||||
Some x -> Some x
|
Some x -> Some x
|
||||||
| None ->
|
| None ->
|
||||||
match Sys.argv.(0) with
|
if Sys.file_exists "cpdflin" then Some "cpdflin" else
|
||||||
"cpdf" ->
|
|
||||||
if Sys.file_exists "cpdflin" then Some "cpdflin" else None
|
|
||||||
| s ->
|
|
||||||
match option_map (is_at_path "cpdflin") (paths ()) with
|
match option_map (is_at_path "cpdflin") (paths ()) with
|
||||||
h::_ -> Some h
|
h::_ -> Some h
|
||||||
| _ -> None
|
| _ -> None
|
||||||
|
Loading…
x
Reference in New Issue
Block a user